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

明日は卒業式です。 同じ大学の法学研究科へ進学するのであまり感慨はありませんが。 一応卒業記念ということで、学部生活で出会えてよかった本三冊を紹介します。 3位: 山口いつ子『情報法の構造』 僕が憲法好きになっ…

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

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

人工知能学会誌23巻4号所収。 法令を工学する、という発想がとてもおもしろい。 以前から、『ソフトウェア工学との類似性に着目した立法支援方法』等の角田篤泰先生による論文は読んでいたものの、他の記事で法令工学という…

従来の判例データベース、入力項目がやたらと多くてウザいし使いづらいなぁ、とか、デザインが何世代前のウェブサービスだよ、とか思っていました。例えば 最高裁の判例検索ページ とか。 なので、ためしに自分で判例データベース…

布団に入ってぼーっと考えていた時に、プログラミング的な概念を用いれば「自由」と「請求権」の違いを記述的に分類することができるような気がした。 請求権を抽象的権利（ここでは法による具体化を待たねば本来の請求ができない権…

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

ここ3日ぐらい読んでた新書『分析哲学講義』読了。 読んでて論理実証主義の話は自分の考える法学との関係で使えるかな、と思ったので考えをちょっとだけ整理してみる。 第１　論理実証主義の命題について 論理…