それはどういう意味でしょう

プログラムと哲学と法律と。プログラム多めです。

ホーム 情報学

循環的複雑度を用いた法文検証？

循環的複雑度を用いた法文検証？

2015年2月22日日曜日
情報学
法学・法哲学
法情報学
Developers Summit2015にて「法律をコードで書き換えて複雑度を検証してみる」という面白い試みが報告されたようです。 コードを書く経営者ドワンゴ川上会長「プログラミングこそが基礎教養」 ｜ Biz/Z…

買いたい書籍まとめ

買いたい書籍まとめ

2015年1月16日金曜日
情報学
読書
法学・法哲学
先日三省堂神保町本店で書籍を物色しつつほしい本をまとめてた。一気に買うほどの資力はないし、だんだんと買い揃えて行こう。 コンピューター系 コンパイラの基盤技術と実践 Prologへの入門 プログラミング言語…

良い本発見

良い本発見

2014年4月6日日曜日
情報学
読書
プログラミング言語の設計というか、プログラミング言語においてある概念・ある仕組みが採用されている理由とはなにか？ということについて記述されている書籍がないかなぁと思っていたのだけど、書店でこれを発見。 やっと…

国立情報学研究所のオープンハウス行って来ました

国立情報学研究所のオープンハウス行って来ました

2013年6月17日月曜日
情報学
法学・法哲学
法情報学
昨日（15日）に国立情報学研究所のオープンハウス行って来ました http://www.nii.ac.jp/event/openhouse/ 二限に大学の講義があったので、それを受けて飯食ってすぐに大学を出発。 …