井上 茂雄
イノウエ タカオ (Takao Inoue)
更新日: 04/03
その他
3
表示件数
-
2016年8月 - 現在GitHubのFlavored-Markdown-GFMのチュートリアル
-
2005年 - 2005年Mizarの記号辞書を編纂した。 http://markun.cs.shinshu-u.ac.jp/kiso/projects/proofchecker/mizar/mizardictionary1.htm