カテゴリー「 ソフトウェア 」の記事

3件の投稿

2週間くらい前ですが、MATLAB & SIMULINK R2013a Student versionを買いました。 これから研究でいろいろと重宝してくれるはずです。 ツイート
プログラミング言語の研究というのを4月になってから初めて知った。 IMP記法やら、帰納法(数学的帰納法、構造的帰納法、整礎的帰納法)等、出てきて、非常に新鮮である。 文献:Glynn Winskel, The Forma …
ソフトウェアは大きく分けると以下の3種類に分けることができる。 S-type (Specifiable type) P-type (Problem-solving type) E-type (Embedded type) …
PAGE TOP