トップページ > プログラム > 2014年09月28日 > qFZf/al/

書き込み順位＆時間帯一覧

44 位/220 ID中時間01234567891011121314151617181920212223Total
書き込み数0000000000000000000000112



使用した名前一覧書き込んだスレッド一覧
デフォルトの名無しさん
集合論に基づいた言語を作りたい

書き込みレス一覧

集合論に基づいた言語を作りたい
375 ：デフォルトの名無しさん[sage]：2014/09/28(日) 22:47:39.25 ID:qFZf/al/
>>373
http://homepages.cs.ncl.ac.uk/cliff.jones/publications/Jones1990.pdf
http://www.cs.ncl.ac.uk/publications/books/papers/100.pdf
http://spivey.oriel.ox.ac.uk/~mike/zrm/zrm.pdf
http://staff.itee.uq.edu.au/ianh/Papers/SCS2.pdf

英語が苦手なのに
>しかたないのでこのスレは>>4とかの言語を勉強するスレにするか。
と書いたのか。
集合論に基づいた言語を作りたい
377 ：デフォルトの名無しさん[sage]：2014/09/28(日) 23:48:18.69 ID:qFZf/al/
>>376
http://homepages.uel.ac.uk/A.Kans/MSc%20week3.pdf
http://www.cs.nott.ac.uk/~rxq/files/4FSPnotation.pdf
http://formal.iti.kit.edu/~beckert/teaching/Spezifikation-SS04/11Z.pdf


※このページは、『２ちゃんねる』の書き込みを基に自動生成したものです。オリジナルはリンク先の２ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合はメールをしてください。対応します。