« 『科学的MDA』による自分自身を 自動検証可能なモデルおよびコード | トップページ | 『The Goal』で有名なゴールドラットの実践用書籍 »

2015年2月19日 (木)

Isabelle2014~定理証明系言語処理系

StandartMLの流れをくむ Isabelleの処理系。
 
MLなんて今でも使うのかと思うけど、結構使うと思う。
Ocamlもほとんど同じだし。

Isabell2014
 

Isabelle2014_2
 
ところで、Isabelleという名称から学生の頃に日本でも人気があった「イザベル・アジャーニ(Isabelle Adjani) 」をいつも連想する。
 
確か高校生になりたての頃、デザイナー高田賢三が監督した「エーゲ海に捧ぐ」に主演してた。
この映画の主題歌はあのジュディ・オングの「魅せられて」だ。

|

« 『科学的MDA』による自分自身を 自動検証可能なモデルおよびコード | トップページ | 『The Goal』で有名なゴールドラットの実践用書籍 »

「パソコン・インターネット」カテゴリの記事