haskell-jp / mokumoku-online #75

S.K.です。ちょっと遅くなってしまいましたが、今週もお世話になります。よろしくお願いいたします。
今週も先週に続き Implementing Functional Languages: a tutorial, 5.3.2 The instruction set, Ex.5.9 の修正確認の続き(Ex.5.10 のテストプログラムを使用)を進めて行こうと思います。

関数型まつりの資料作りの一環として、Haskellの歴史を調べていました。あとmakeMistakesToLearnHaskellも少し進めました。Haskell-jp Blogと併せて後ほどコミットを共有します。

Ceiling Function はうまいこと自前の木構造に落とせたが　Subway Tree System はそんな簡単ではないらしいトホホ

makeMistakesToLearnHaskellの更新: https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/c6e02c546d1018567445999db6a06fe5f0e7e842
Haskell-jp Blogの更新: https://github.com/haskell-jp/blog/commit/ef24c564710cceb988fea7b6af753f46fdba2ab4

今週も、Ex.5.9 修正後の Ex.5.10 テストプログラム(S K K → inc に変更)の動作結果確認をしていました。
手作業では動作を追跡しきれなくなったため、遅まきながら関数適用や間接参照の内容を再帰的にたどって表示する処理を showStackItem 関数に追加しました。もっと早くやっていれば良かったです。
子タスク1の結果が親タスクに反映されているところも一応確認できましたが、手作業で確認したところも含めて各タスクの状態変化を再確認中です。

山本悠滋です。先週から引き続き関数型まつりの資料作りなどをやります
14時から用事なので手短に。

Competitive programming in Haskell: Building unordered trees : Brent Yorgey 先生の blog をもとに Kattis の問題を解きます

S.K.です。ちょっと遅くなってしまいましたが、今週もお世話になります。よろしくお願いいたします。
今週も引き続き Implementing Functional Languages: a tutorial, 5.3.2 The instruction set, Ex.5.9 の修正確認の続き(Ex.5.10 のテストプログラムを使用)を進めて行こうと思います。

早いですがひとまずここで。Haskell Report 1.0を読んでました

用事が早く済んだので再開！

古いHaskell Reportからサンプルコードや型定義などを抜き出して貼り付けてました。
makeMistakeToLearnHaskellやHaskell-jp Blogの続きは延長戦で少しやります。

な　なんと！　この blog には先週の Subway Tree System 問題のエレガントな回答が乗っているではないか　あれだけ苦戦した難問なのに　Text.Parsec を駆使し鮮やか　これぞとばかり感動的強力かつ最短　Haskell を勉強して好かったと思わせる稀代の名算譜　自分にこーゆーの書けるよーになるにはあと１０年２０年掛かるだろー（嘆息）　という事で今週は Parsec に関する３題の問題が与えられているのでその Document から使い方を勉強した

Ex.5.9 修正後の Ex.5.10 テストプログラム(S K K → inc に変更)の動作結果確認が、ようやく一応何とか終わりました(つもりです)。
一応正しそうに思えましたので、先に進みました。
Ex.5.11, Ex.5.12 は自分には問題の意味がよく理解できなかったため保留して Mark3 に進み、Ex.5.14 の途中です。

makeMistakesToLearnHaskellの進捗: https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/df8b25b1a28cd8a8f3332388971be9d7ef88a33c
- 課題21をひとまず終えました！
Haskell-jp Blogの進捗: https://github.com/haskell-jp/blog/commit/c1bc0c5ea758126b4cce2a7227a52ac18d01311a

Competitive programming in Haskell: Permutations : Brent Yorgey 先生の blog をもとに Kattis の問題を解きます

山本悠滋です。今日も長いこと外出するので、時間外ですが進めておいたmakeMistakesToLearnHaskellの続きを共有します。
https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/99a9728f9a31fb769ffbd77005fc34805e300b6f
他は時間があったら関数型まつりの資料作りなどを進めておきます。

S.K.です。遅くなってしまいましたが、今週もお世話になります。よろしくお願いいたします。
今週も引き続き Implementing Functional Languages: a tutorial, 5.4 Mark 3: A realistic parallel G-machine の続きを進めて行こうと思います。

先週の The Power of Substitution 問題の数学的に強力な回答がされている　愚直な方法では TLE となるこの難問を permutation の cycle decomposition をしてから　中国剰余定理を用いる２段階で解いている　ナカナカだよねえ　勉強になるなあ　ありがたく写経させていただく　
次週は幾何問題とのことでとりあえず Vacuumba の問題文だけ読んだ　多分楽勝の雰囲気　のんびり行こう
本日はこれにて離脱

5.4.2 Conservative and speculative parallelism の Ex.5.14 を一応何とか終えて、Ex.5.15 の途中です。
ロックされたノードをアンワインドしようとしてブロックされているタスクをスケジュールしない変更をひとまず終えて、
すでに WHNF であるノードを評価するタスクをスケジュールしない変更の内容調査中です。

Competitive programming in Haskell: vectors and 2D geometry : Brent Yorgey 先生の blog をもとに Kattis の問題を解きます

S.K.です。今週もお世話になります。よろしくお願いいたします。
今週も引き続き Implementing Functional Languages: a tutorial, 5.4 Mark 3: A realistic parallel G-machine の続きを進めて行こうと思います。

先週出題の Vacuumba 問題は difficulty: Easy 2.0 で自分なりにでも容易に解けた　だが Yorgey 先生の趣旨は用意した library として Geom.hs を使うようにとのことで再度挑戦　これも容易にクリアー出来た
次週の問題は Checking Break これはナカナカ難問そう　だがそれは後において今日の楽勝を楽しもう
本日はこれにて離脱

山本悠滋です。引越作業に追われているので一段落してから昨日進めておいたmakeMistakesToLearnHaskellやHaskell-jp Blogの進捗を共有します。

5.4.2 Conservative and speculative parallelism の Ex.5.15 の続きを進めようとしてました。
すでに WHNF であるノードを評価するタスクをスケジュールしない変更内容を理解しようとしてましたが、
自分には難しく、まだきちんと意味を理解できていない状態です。
ですが、自分にも理解できる簡単な変更案は一つだけ浮かびました。
とりあえずこの案で引き続き進めて行こうと思います。

(参加しようと思っていたのだけど忘れていた)

昨日のHaskell-jp Blogの進捗
https://github.com/haskell-jp/blog/commit/127e490ae0c960036a2ca46455c3277b08cd0dd3
makeMistakesToLearnHaskellの進捗
https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/ae5df97f105007b9eec3e28558c9b2d9916e4623

Competitive programming in Haskell: data representation and optimization, with cake : Brent Yorgey 先生の blog をもとに Kattis の問題を解きます

引越後の荷解きがまだ終わらないので合間にちょっとだけやります！

S.K.です。少し遅くなりましたが、今週もお世話になります。よろしくお願いいたします。
今週も引き続き Implementing Functional Languages: a tutorial, 5.4 Mark 3: A realistic parallel G-machine の続きを進めて行こうと思います。

CAD作ります　コードでモデルを書いてコンパイルして出てきたプレビュー画面のオブジェクトに対してドラッグなどの操作をしたときにバックトラック的な機能でコード側に書き戻されるようなことができてほしく、まずは https://github.com/elalish/manifold をffiで叩くところからやっていきます

"Checking Breaks" 問題は自分の回答では TLE だった（Kattis は嗜虐的偏向で vector library が使えナイため）Yorgey 先生の模範解答をじっくり読む　いくつかの改善できる点を発見　[A] "-1" sentinel 扱いがぞんざいで　これは "ScannerBS.till" を使えばキレイになる　[B] "pairs", "withPairs" に不要な pattern match がある　[C] "withPairs" の "go" は "foldr" に変えるのが普通
これらを改良して "Checking Breaks" 問題は AC で無事決着　Yorgey 先生のブログにもこれらの改良点をコメントした
本日はこれにて離脱