スレを立てるまでも無い質問

59：名無しさん：2007/10/02(火) 00:27:47 ID:6mm114F.0: 理論といえば理論なんだけれどそれが関連しているという
システム検証という応用にも少し興味はある。

一応情報とは別の領域でやりたいことがあるのだけれど
ちょっとそれを実現する為の手がかりが無い。
Martin-Lof型理論がその手がかりっぽいから
それをやりたいというのがここを訪れた理由。

でも、やはり何も調べずに大学尋ねるのもなんだか確かに変だ。
Programming in Martin-Lof's type theoryをもう少し
本気で読んでみることにする。それからまた考える。

新着レスの表示

※書き込む際の注意事項はこちら

※画像アップローダーはこちら

（画像を表示できるのは「画像リンクのサムネイル表示」がオンの掲示板に限ります）

掲示板管理者へ連絡無料レンタル掲示板