Masanori Ogino 𓀁 Masanori Ogino 𓀁 reblogged at 4 years ago
Masanori Ogino 𓀁 Masanori Ogino 𓀁 reblogged at 4 years ago
Masanori Ogino 𓀁 Masanori Ogino 𓀁 reblogged at 4 years ago

Masanori Ogino 𓀁 omasanori@mstdn.maud.io

あれ、ACL2にはunfreeな部分があるのか。nixpkgs.acl2-minimalはunfreeじゃないけれど

Masanori Ogino 𓀁 omasanori@mstdn.maud.io

そういえば、NixpkgsにもACL2のパッケージはあるのか。

Masanori Ogino 𓀁 Masanori Ogino 𓀁 reblogged at 4 years ago

桝田道也@近世大名は城下を迷路化なんてしなかった mitimasu

わしのFANBOX支援者プランは月たった100円。ツイッターのスーパーフォロー(500円/月)より400円安い!年間だと4800円も安い!しかもDRMのない電子書籍やフォントがダウンロードできます。さあ支援者になって幸せになろう。

桝田道也|pixivFANBOX mitimasu.fanbox.cc/

Masanori Ogino 𓀁 Masanori Ogino 𓀁 reblogged at 4 years ago

Masanori Ogino 𓀁 omasanori@mstdn.maud.io

NTT 東日本 特殊局員という肩書あまりにもカッコいい

Masanori Ogino 𓀁 Masanori Ogino 𓀁 reblogged at 4 years ago

ぼろんじ boronology@social.penguinability.net

同じ大学の教員と学生を兼ねるの、制度デバッグの一環っぽさがある

Masanori Ogino 𓀁 omasanori@mstdn.maud.io

「ソフトイーサ株式会社、筑波大学 産学連携准教授、筑波大学大学院 生命システム医学専攻 医学課程 学生、独立行政法人 情報処理推進機構 産業サイバーセキュリティセンター サイバー技術研究室、NTT 東日本 特殊局員」

dnobori.cs.tsukuba.ac.jp/ja/

Masanori Ogino 𓀁 Masanori Ogino 𓀁 reblogged at 4 years ago
Masanori Ogino 𓀁 Masanori Ogino 𓀁 reblogged at 4 years ago
Masanori Ogino 𓀁 Masanori Ogino 𓀁 reblogged at 4 years ago
Masanori Ogino 𓀁 Masanori Ogino 𓀁 reblogged at 4 years ago
Masanori Ogino 𓀁 Masanori Ogino 𓀁 reblogged at 4 years ago

やまこ :nakayosi_mako: yamako@fedibird.com

スマホから参加できるバーチャル同人誌イベント
OperationVR-EXTRA Testrun#4 は3/14開催です。
3/1いっぱいまでサークル参加を募集しております!
ジャンル不問、既刊のみでも一冊だけでも全然ok!!!
無料なのでお気軽にどうぞ :ablobcatheart:
operationvr.info/event/6

Masanori Ogino 𓀁 Masanori Ogino 𓀁 reblogged at 4 years ago

CryptPad cryptpad@social.weho.st

📰 Feb. 2021 status: We are turning the monthly CryptPad updates for the internal XWiki newsletter into public blog posts. These will be an opportunity to regularly catch up on new features, research projects, etc

The first one is up on our blog: blog.cryptpad.fr/2021/02/24/st

Masanori Ogino 𓀁 Masanori Ogino 𓀁 reblogged at 4 years ago

つちやん nouvelage@pawoo.net

今日のらくがこは修正版

Masanori Ogino 𓀁 Masanori Ogino 𓀁 reblogged at 4 years ago

シズオカ shizuoka@pawoo.net

『ニーア』のヘンゼルとグレーテル(11年前の絵をわずかにいじった)

Masanori Ogino 𓀁 omasanori@mstdn.maud.io

git bisect力が足りなくて有向グラフの中をさまよっている

Masanori Ogino 𓀁 omasanori@mstdn.maud.io

Git - git-bisect-lk2009 Documentation
git-scm.com/docs/git-bisect-lk