haskell-jp / mokumoku-online #90

山本悠滋です。遅くなりましたが例の如く github.com/haskell-jp/makeMistakesToLearnHaskell/issues/121 に取り組みます。

今日の進捗。用事があるのでここまでにします。
github.com/haskell-jp/makeMistakesToLearnHaskell/commit/09ccb88aa0e3…

Project Euler #155 Counting Capacitor Circuits 　イロイロ手を入れて早くした
The Hitchhiker's Guide to Logical Verification (2025 edition)　10.4 First Program: Exchanging Two Variables まで読み進む　なんだかクドクドしくて眠い おそらく細部が追えてないのだろうけど

「Mark 6: Dependency analysisy」の Ex.6.14 (depthFirstSearch 関数の性質に関する(非形式的な)証明)の続きを進めました。
設定した二つの補題の下位の補題の定義を見直して、証明の筋道を考える前に、見直した定義に合わせて入力を変更したテストプログラムを作って動作を確認していました。
その結果、動作を一部勘違いしていたことが分かりまして、補題の定義を再修正中です。(前向きにとらえれば、勘違いに気づけて良かったと思えなくもないですが...)
今週もまだ終わりませんでしたが、可能なペースで進めて行こうと思います。

前半は Project Euler を Haskell で解いて　後半は The Hitchhiker's Guide to Logical Verification (2025 edition) の Chapter 11 Denotational Semantics をヤリます

S.K.です。今週も申し込んでなかった上に、遅くなってしまいましたが、少しだけでも参加させていただこうと思います。よろしくお願いいたします。
「Implementing Functional Languages: a tutorial」のやり残した部分の続きを進めようと思います。

山本悠滋です。遅くなりましたが例の如く github.com/haskell-jp/makeMistakesToLearnHaskell/issues/121 に取り組みます。

本日の成果
github.com/haskell-jp/makeMistakesToLearnHaskell/commit/e9c86c02d0ac…
用事があるのでここまでにします。
:memo: 次はWorkerのGHCがstdoutかstderrに何か出力したときメインスレッドにそれを伝える処理の実装。その次はGHCが利用可能になったことをGHCの実行終了時にも伝えるところ、でしょうか。

Project Euler #156 Counting Digits　まったく歯が立たたない トホホ 後日出直しします
The Hitchhiker's Guide to Logical Verification (2025 edition)　11.5 Complete Lattices まで読み進む 立ちこめる霧がマスマス深くなって来たような こっちもトホホだなあ
Happy Halloween!

「Mark 6: Dependency analysisy」の Ex.6.14 (depthFirstSearch 関数の性質に関する(非形式的な)証明)の続きを進めました。
設定した二つの補題の下位の補題の定義を再修正中です。定義の再修正は、できれば今日完了したかったのですが、完了ならずでした。
結構時間かかってしまってますが、可能なペースで進めて行こうと思います。
Happy Halloween!

前半は Project Euler を Haskell で解いて　後半は The Hitchhiker's Guide to Logical Verification (2025 edition) の Part IV Mathematics - Chapter 12 Logical Foundations of Mathematics をヤリます

S.K.です。終了時刻に近くなってしまいましたが、少しだけでも参加させていただこうと思います。よろしくお願いいたします。
「Implementing Functional Languages: a tutorial」のやり残した部分の続きを進めようと思います。

山本悠滋です。遅くなりましたが例の如く github.com/haskell-jp/makeMistakesToLearnHaskell/issues/121 に取り組みます。

本日の成果
github.com/haskell-jp/makeMistakesToLearnHaskell/commit/9d4c8dbf1aa8…
なんかのタイミング問題なのか、最初先週まで稼働してたはずのdevサーバーがなぜか404ばっかり返す現象にハマって焦った。別のポートで起動し直したら直った。
次は「GHCが利用可能になったことをGHCの実行終了時にも伝える」

Project Euler #982 The Third Dice ダメだぁー 難しすぎる 緒先達の解答を研究し 後日出直しします
The Hitchhiker’s Guide to Logical Verification (2025 edition)　12.3 The Axiom of Choice まで読み進む 立ちこめる霧が深くなって来た トホホ x 2

「Mark 6: Dependency analysisy」の Ex.6.14 (depthFirstSearch 関数の性質に関する(非形式的な)証明)の続きを進めました。
設定した二つの補題の下位の補題の定義の再修正を、一応何とか完了しました。
再度全体の流れを確認して、問題なさそうなら補題 A の証明の骨組みを考えていこうと思います。