2017年11月アーカイブ

Formalized Mathematics Volume 25, Issue 2 (Jul 2017)

admin (2017年11月10日 09:34) | コメント(0) | トラックバック(0)
Formalized Mathematics Volume 25, Issue 2 (Jul 2017) が発刊されました． https://www.degruyter.com/view/j/forma.2017.25.issue-2/issue-files/forma.2017.25.issue-2.xml

Latest Mizar releases (version 8.1.06, MML 5.45.1305)

admin (2017年11月10日 09:30) | コメント(0) | トラックバック(0)

Mizar version 8.1.06, MML 5.45.1305 がリリースされました．

ホームページをMovableTypeで再構築中です

admin (2017年11月10日 09:10) | コメント(0) | トラックバック(0)
従来からある学会ホームページですが，リニューアル工事を行っております．
メインページ | アーカイブ | 2018年2月 »

このアーカイブについて

このページには、2017年11月に書かれたブログ記事が新しい順に公開されています。

次のアーカイブは2018年2月です。

最近のコンテンツはインデックスページで見られます。過去に書かれたものはアーカイブのページで見られます。

カテゴリ

月別 アーカイブ