tag:blogger.com,1999:blog-30049755.post1412661059076047076..comments2024-01-15T17:19:52.140+09:00Comments on Functional Programming Memo: [Coq] Coq'Art Reading in Tokyo ?Takashi Miyamotohttp://www.blogger.com/profile/15445314693808242249noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-30049755.post-5095818744178945772009-09-22T21:51:39.155+09:002009-09-22T21:51:39.155+09:00ありがとうございます>コメント。実は既に10月のAgdaの研修コースを申し込んでます。(交通費宿泊費...ありがとうございます>コメント。実は既に10月のAgdaの研修コースを申し込んでます。(交通費宿泊費は自腹での参加なんですが。)Takashi Miyamotohttps://www.blogger.com/profile/15445314693808242249noreply@blogger.comtag:blogger.com,1999:blog-30049755.post-63793818324975837342009-09-22T13:03:43.602+09:002009-09-22T13:03:43.602+09:00つ http://unit.aist.go.jp/cvs/training-course/Agda-...つ http://unit.aist.go.jp/cvs/training-course/Agda-course.htmlAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-30049755.post-65645917667180794432009-09-22T13:02:12.924+09:002009-09-22T13:02:12.924+09:00東京ではありませんが、大阪でAgdaの研修コース「 Agda による仕様記述」が無料で開かれるそうで...東京ではありませんが、大阪でAgdaの研修コース「 Agda による仕様記述」が無料で開かれるそうです。AgdaはCoqと良く似ているので参考になるかもしれません。Anonymousnoreply@blogger.com