2015年08月02日

めも

Elixir 勧められた。
近々勉強するかも。
【日記の最新記事】
posted by Thought_Nibbler at 23:03| Comment(0) | 日記

2014年11月16日

Coqについて

実際に証明を書いてみた。

証明が読みづらすぎる。 Mizar のありがたさが分かった。
ただ、形式検証系としては、 Mizar よりは全然進んでるっぽい?
posted by Thought_Nibbler at 13:08| Comment(0) | 技術

2014年11月09日

立体音響がすごかった

ステレオだけで左右以外の音像定位を表現できることを今更知った。



感動したのでメモっておく。
posted by Thought_Nibbler at 01:22| Comment(0) | 技術