2013年4月

3件の投稿

プログラミング言語の研究というのを4月になってから初めて知った。 IMP記法やら、帰納法(数学的帰納法、構造的帰納法、整礎的帰納法)等、出てきて、非常に新鮮である。 文献:Glynn Winskel, The Forma …
ソフトウェアは大きく分けると以下の3種類に分けることができる。 S-type (Specifiable type) P-type (Problem-solving type) E-type (Embedded type) …
NORIFUMIです。 WordPress始めました。 詳細は一応プロフィール(パスワードがかかっています。本人に聞いてください。)に示してあります。 主に情報系の技術メモを中心に書いていくつもりです。 よろしくお願いし …
PAGE TOP