Conversation

Notices

1. まちカドおるみん (orumin@mstdn.maud.io@mstdn.maud.io)'s status on Tuesday, 11-Sep-2018 14:29:53 JST まちカドおるみん

   • かるばぶ

   @babukaru 私の学校で出てきたテクストは Java で Lifegame を書く，Standard ML で簡単な 中置記法の expression（四則演算とか）をパースして解釈・実行する REPL を作る，Prolog でつかわれる論理学を学ぶ，というのがあった（課題のプリントとして渡されたわけではないので本になってるわけではないしこれは一例だけど，それぞれわかっていれば一日で出来る（講義としてはそれぞれ学期の半分を使ってた）くらいの粒度のタスクで，初歩を学ぶマイルストーンとしてはそのくらいで良さそう，という気がする）

   • かるばぶ (babukaru@mstdn.maud.io)'s status on Tuesday, 11-Sep-2018 14:19:18 JST かるばぶ

     なんちゃら指向ﾎﾟﾖｸﾞﾔﾐﾝｸﾞ ぐぐっても全然理解できなくて本を買って学ぶしかないんかな…とも思うけれど、そこまでする程ﾎﾟﾖｸﾞﾔﾑを書きたくないという思いの方が強い

     まんじゅ（́ん｀）@駄メンター repeated this.
   • まちカドおるみん (orumin@mstdn.maud.io@mstdn.maud.io)'s status on Tuesday, 11-Sep-2018 14:20:44 JST まちカドおるみん

     • かるばぶ

     @babukaru ググるより書いてみるのがよいと思う。ML 系の言語とか Lisp 系とか Prolog とか C とはまったく違うパラダイムのをひとつ書いてみるとおもしろいかなあと

   • まちカドおるみん (orumin@mstdn.maud.io@mstdn.maud.io)'s status on Tuesday, 11-Sep-2018 14:31:54 JST まちカドおるみん

     in reply to

     • かるばぶ

     @babukaru Prolog で出てくる論理学，というのは述語論理の命題をホーン節にしてそれを形式的操作で推論して証明する，というものだったが，Prolog はその推論を自動化できるよというやつ。たぶんハノイの塔の最短解放の導出とかが勉強に丁度よい。

   • まちカドおるみん (orumin@mstdn.maud.io@mstdn.maud.io)'s status on Tuesday, 11-Sep-2018 14:33:33 JST まちカドおるみん

     • かるばぶ

     @babukaru じつはそうでもなくてとくに ML（Haskell でも OCaml でも Standard ML でもいいとおもう）で四則演算を評価方法するとかは適切な BNF が与えられていればわりと誰でもすぐできる感じの難易度

   • まちカドおるみん (orumin@mstdn.maud.io@mstdn.maud.io)'s status on Tuesday, 11-Sep-2018 14:37:39 JST まちカドおるみん

     • かるばぶ

     @babukaru s/評価方法/評価/ するでした

   • まちカドおるみん (orumin@mstdn.maud.io@mstdn.maud.io)'s status on Tuesday, 11-Sep-2018 15:00:44 JST まちカドおるみん

     in reply to

     • かるばぶ

     @babukaru s/解放/解法/