10コメント2KB

構成的プログラミング・型理論

■ このスレッドは過去ログ倉庫に格納されています

0001デフォルトの名無しさん

2012/02/27(月) 07:38:25.57

GiradのF、CoC、LF、ML：λ-Cube.
AczelのFreage構造、Femermanの理論、林・中野のPX：構成的数学.

0002デフォルトの名無しさん

2012/02/27(月) 08:58:28.66

0003デフォルトの名無しさん

2012/03/03(土) 00:18:17.02

このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。

アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。

　　　　　　　　　　　　　　　　　　京都大学霊長類研究所

0004デフォルトの名無しさん

2012/03/11(日) 17:02:42.82

まず>>1に書いてることがわからない

0005デフォルトの名無しさん

2012/03/11(日) 17:43:17.54

この分野で最近のホットなトピックって何？
10年前勉強したけど

0006デフォルトの名無しさん

2012/03/11(日) 17:50:03.67

最近、現場に降りてきて話題になってるものとしては形式手法かな？

0007デフォルトの名無しさん

2012/03/11(日) 18:11:22.54

>>6
>>1には形式的仕様記述(formal speciffication)に関する
キーワードが一切触れられていない件について....

たぶん、>>1は形式的手法については全く無関心だと思われ

0008デフォルトの名無しさん

2012/03/11(日) 19:21:39.25

一人の人間が関連分野の全てに関心を持ってる事は希だから、
重要分野ならその都度付け加えていけば良い

0009デフォルトの名無しさん

2012/03/19(月) 22:31:04.55

形式的仕様記述の分野で最近のホットなトピックって何？
10年前勉強したけど

0010デフォルトの名無しさん

2012/03/19(月) 22:36:07.00

少なくともプログラミングの世界に限れば、
形式的仕様記述があまりホットじゃない

■ このスレッドは過去ログ倉庫に格納されています