理論計算機科学スレ

理論計算機科学スレ at MATH

248:１３２人目の素数さん
08/06/01 10:37:00
602

249:１３２人目の素数さん
08/06/01 10:43:16
age

250:１３２人目の素数さん
08/07/12 00:33:41
全国大学図書館
URLﾘﾝｸ(www.jla.or.jp)

他大学生ではなく一般人として行った方が利用しやすい場合アリ

251:１３２人目の素数さん
08/08/29 08:28:55
005

252:１３２人目の素数さん
08/10/17 08:17:44
752

253:１３２人目の素数さん
08/11/19 22:22:43
555

254:１３２人目の素数さん
08/12/03 17:00:35
889

255:１３２人目の素数さん
08/12/04 09:54:00
四年一時間。

256:１３２人目の素数さん
09/01/11 09:44:51
690

257:１３２人目の素数さん
09/02/11 15:21:02
King氏ね

258:KingGold ◆3waIkAJWrg
09/02/11 16:18:21
Reply:>>257 お前に何がわかるというか。

259:１３２人目の素数さん
09/04/25 11:10:45
542

260:１３２人目の素数さん
09/05/09 02:19:18
●こんなところにもいるのか

261:１３２人目の素数さん
09/05/09 18:06:40
age

262:１３２人目の素数さん
09/06/04 20:29:41 BE:1406014496-2BP(1028)
>>131
２０年前にそれをレポ～トに書いたら、助教授に超バカにされたｗ

263:１３２人目の素数さん
09/07/10 09:08:03
972

264:１３２人目の素数さん
09/08/18 11:16:21
969

265:１３２人目の素数さん
09/10/04 23:37:42
440

266:１３２人目の素数さん
09/11/26 22:38:09
質問です。項書き換え系理論に置いて、二つの項書き換え系が同型だとか部分系になってるとかいう理論はあるのでしょうか？
あるのであればその定義について記述している本、または文献を教えてもらえないでしょうか？

項書き換えに興味はあるのですが、近くにわかる人が少なくて困っているのです。助けていただければ幸いです。

267:１３２人目の素数さん
09/11/27 15:02:43
情報学板で聞いたほうが良いんじゃないか
URLﾘﾝｸ(science6.2ch.net)

過疎であることには変わりないけど

268:１３２人目の素数さん
10/01/17 01:54:01
五年四十三日十七時間。