Lisp Scheme Part41 (858ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
15: デフォルトの名無しさん [sage] 2018/10/09(火) 15:29:09.16 ID:dwdUWAaf(2/2) AAS
π算法
Robin Milner "Communicating and Mobile Systems: The Pi Calculus"
Davide Sangiorgi, David Walker "The Pi-Calculus: A Theory of Mobile Processes"
Matthew Hennessy "A Distributed Pi-Calculus"
π算法はもともとCCSの拡張としてRobin Milnerらによって考案された、並行計算（π算法はλ算法の並行版）を表すモデルであり、プロセス計算の一種。
170: デフォルトの名無しさん [sage] 2020/03/05(木) 20:41:41.16 ID:h922Dn8C(7/11) AAS
>>149Prologの勉強は無駄ではないと思うが
すぐ成果には結びつかないだろうね？
でも長期的には流行りの言語やFWに飛びつくより
地力につながる可能性もあるだろう
399: デフォルトの名無しさん [sage] 2021/06/29(火) 17:27:58.16 ID:cKUJRDcK(1) AAS
へーじゃあ君は2年間何してたの
605: デフォルトの名無しさん [sage] 2023/03/05(日) 13:42:32.16 ID:nmaj3sub(1) AAS
オンラインでuLisp動かしてみようかとTinkerCADのArduonoUnoにソースコード流し込んでみたけどさすがに5000行は許してもらえないみたいだな。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.047s