haskell-jp / mokumoku-online #60

wasabi
2023-10-22 17:28:15 +0900
用事があるので今日はここまでにします…
foldr/buildやmap, filter周りのrewrite rulesが正しいことを示しました。scanなどの他のものは今後やろうと思います。
https://github.com/wasabi315/kitchen-sink/blob/main/agda/list-fusion/list-fusion.agda
karoyakani
2023-10-22 18:05:45 +0900
のうち §1 ~ 4 / 全7　読了　Recursive (Co)Algebra や hylo 等々　圏論的基礎が展開される
8 日目 - AtCounter（★4）　Naïve 解法（Data.List.group ＋ DP 漸化式）で例題は解けるが遅すぎる　Vector を用いた memoization が必要かも
S.K.
2023-10-22 18:09:41 +0900
Mark3 TIM のガベージコレクション対応中です。
エラーとなっていたテストプログラムを一応正しく処理できるようになりましたが、まだまだ対応が不十分ですので引き続き確認を進めます。
自分にとってはまだまだ先は長そうです。
karoyakani
2023-10-29 13:06:44 +0900
のうち §5 ~ 7 / 全7
あとハシゴで 9 日目 - Three Point Angle（★6）
S.K.
2023-10-29 13:08:50 +0900
S.K.です。今週もお世話になります。よろしくお願いします。
Implementing Functional Languages:a tutorial の、4.4.4 Garbage Collection の続きを進めていこうと思います。
toyboot4e
2023-10-29 14:03:47 +0900
こんにちは。 Haskell で AtCoder 茶色レーティングを目指すための記事を書きます
igrep
2023-10-29 14:39:25 +0900
山本悠滋です。いつも通りmakeMistakesToLearnHaskellの続きとcabal replの件を進めます。
お昼寝してたらもうこんな時間
gksato
2023-10-29 15:10:26 +0900
午前中 AtCoder Beginner Conestのバチャを解いていたので，そのupsolveの続きをします．というかさっきまで F 問題の高速化をしていました：
https://atcoder.jp/contests/abc326/submissions/47055993 F問題upsolve 1 (1700ms)
https://atcoder.jp/contests/abc326/submissions/47058458 F問題upsolve 2 (93ms)
igrep
2023-10-29 18:01:01 +0900
cabal replの件で、cabalファイルのパーサーを引き続き実装してました。makeMistakesToLearnHaskellはこの後延長戦でやります。
karoyakani
2023-10-29 18:04:29 +0900
のうち §5 ~ 7 / 全7　読了　_recursive coalgebras_ と _hylo の同等性が (co)Church encoding を用いて示される_　
9 日目 - Three Point Angle（★6） Work in progress どこかに虫がいる
S.K.
2023-10-29 18:06:46 +0900
Mark3 TIM のガベージコレクション対応中です。
別のテストプログラムでエラーとなったため、デバッグ中です。お恥ずかしい。
自分にとってはまだまだ先は長そうです。
toyboot4e
2023-10-29 18:08:41 +0900
標準入出力について書いていました
gksato
2023-10-29 18:18:03 +0900
Gがずっとわからなくて、解説を見るとライブラリ未整備でした…
igrep
2023-10-29 19:06:15 +0900
延長戦で進めました。makeMistakesToLearnHaskellの続きはここまでにしておきます。
https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/dbb5b07873ef67c7742f35ebf28048c6edd6da57
S.K.
2023-11-05 13:06:55 +0900
S.K.です。今週もお世話になります。よろしくお願いします。
引き続き、Implementing Functional Languages:a tutorial の、4.4.4 Garbage Collection の続きを進めていこうと思います。
karoyakani
2023-11-05 13:09:44 +0900
今回は講演の動画： Unifying Structured Recursion Schemes を観ながら同名のペーパを復習します
あとハシゴで 競プロ典型 90 問 12 日目 - Red Painting（★4）
igrep
2023-11-05 14:06:35 +0900
出先から帰ったばかりでご飯がまだですが、注文したピザを待ちながらいつもどおりmakeMistakesToLearnHaskellの続きとcabal replの件を進めます。
arark
2023-11-05 14:16:09 +0900
@arark has joined the channel
arark
2023-11-05 14:18:05 +0900
途中からですが参加させてください
Happyでsemverパーサーを書きます
... Replies ...
karoyakani
2023-11-05 18:02:10 +0900
Unifying Structured Recursion Schemes 動画・ペーパとともに玩味
競プロ典型 90 問 12 日目 - Red Painting（★4）Union-find で実装中
igrep
2023-11-05 18:03:43 +0900
makeMistakesToLearnHaskellの続きをやってました。先週と同様昼寝などであまり進まず :disappointed_relieved:
S.K.
2023-11-05 18:04:25 +0900
Mark3 TIM のガベージコレクション対応中です。
先週のテストプログラムは一応OKとなりましたが、OKとなっていた別のテストプログラムでエラーとなったため、引き続きデバッグ中です。
皆様の様にうまくいかず、お恥ずかしい。自分にとってはまだまだ先は長そうです。
arark
2023-11-05 18:13:49 +0900
とりあえずsemverパーサー自体は完成しました！AlexとHappyをうまく使うと驚くほど簡単にできました。
あとはパースできた構文木をバージョン制約に変換する処理を実装します。
igrep
2023-11-12 13:05:20 +0900
山本悠滋です。今日はタイプセーフプリキュアの更新を少しやった後、いつも通り時間の許す限りmakeMistakesToLearnHaskellやcabal replの件の続きをします。用事があるので16:30くらいで終えます。
S.K.
2023-11-12 13:09:58 +0900
S.K.です。今週もお世話になります。よろしくお願いします。
引き続き、Implementing Functional Languages:a tutorial の、4.4.4 Garbage Collection の続きを進めていこうと思います。
karoyakani
2023-11-12 14:09:34 +0900
講演の動画： Detecting Recursion Schemes in Haskell Functions (...) - Adam D. Barwell (Lambda Days 2017) とその スライド を観ます
あとハシゴで 競プロ典型 90 問 15 日目 - Don't be too close（★6)
toyboot4e
2023-11-12 15:45:26 +0900
toyboot4e です。ポテンシャル付き Union-Find を実装します
igrep
2023-11-12 16:29:57 +0900
そろそろ退出します。今日の成果はタイプセーフプリキュアの更新と、makeMistakesToLearnHaskellの更新 https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/f1b46054e85f4761327f9899f2b24be8635d69ba と、cabal replの件を少し進めました。
toyboot4e
2023-11-12 18:10:16 +0900
苦戦してます :melting_face:
S.K.
2023-11-12 18:19:28 +0900
先週エラーとなったテストプログラムも含めて、とりあえず現状のテストプログラムはようやく期待通りの結果となりました。
ただし、Mark3 TIMで追加された命令についてのGC対応がまだ不十分だと思いますので、引き続き対応していこうと思います。
自分にとってまだまだ先は長そうです。
karoyakani
2023-11-12 19:14:58 +0900
Detecting Recursion Schemes in Haskell Functions (...) - Adam D. Barwell (Lambda Days 2017) 動画とスライド視聴　 recursion scheme の応用として面白い
競プロ典型 90 問 15 日目 - Don't be too close（★6)　漸化式は立ったが　N^2　サイズのテーブルが　N==10^5　ではメモリー不足　要作戦の練り直し
igrep
2023-11-19 13:02:11 +0900
山本悠滋です。今日は にずっと参加しているので。合間にmakeMistakesToLearnHaskellの続きを書きます
karoyakani
2023-11-19 13:07:18 +0900
講演の動画： を観ます
あとハシゴで 競プロ典型 90 問 17 日目 - Crossing Segments（★7）
S.K.
2023-11-19 13:11:30 +0900
S.K.です。今週もお世話になります。よろしくお願いします。
引き続き、Implementing Functional Languages:a tutorial の、4.4.4 Garbage Collection の続きを進めていこうと思います。
toyboot4e
2023-11-19 14:07:41 +0900
アドベントカレンダー用の投稿を準備します
gksato
2023-11-19 14:21:45 +0900
ABC329-G の upsolve と，最近思いついた union-find の一般化の実装をします．
gksato
2023-11-19 17:08:45 +0900
やっとupsolve終わりました…． そろそろ抜けないといけないので，Union-Find は後で書いて報告するかも．