Skip to content

Commit 9893512

Browse files
igrepigrep
committed
Slack log update at Sun Nov 2 19:21:28 2025
1 parent d12a70b commit 9893512

File tree

8 files changed

+335
-2
lines changed

8 files changed

+335
-2
lines changed

‎docs/html/CUPBC8WCE/80.html‎

Lines changed: 92 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -158,6 +158,98 @@ <h1>haskell-jp / mokumoku-online #80</h1>
158158
<div class="description">Haskell-jp Blogの進捗:<br/>- <a href='https://github.com/haskell-jp/blog/commit/3e58bf7d4cd1bb13608110ec8739f3a163e5a663'>https://github.com/haskell-jp/blog/commit/3e58bf7d4cd1bb13608110ec8739f3a163e5a663</a><br/>- <a href='https://github.com/haskell-jp/blog/commit/2c2802d6804959b10064ca34567c56ba595bf98a'>https://github.com/haskell-jp/blog/commit/2c2802d6804959b10064ca34567c56ba595bf98a</a></div>
159159
</div>
160160
</div>
161+
<div class="event" id="message-1762056025.870929">
162+
<div class="content">
163+
<div class="summary">
164+
<div class="user">&lt;non-user&gt;</div>
165+
<div class="date"><a class="date" href="#message-1762056025.870929">2025-11-02 13:00:25 +0900</a></div>
166+
</div>
167+
<div class="description"></div>
168+
</div>
169+
</div>
170+
<div class="event" id="message-1762056229.274829">
171+
<div class="content">
172+
<div class="summary">
173+
<div class="user">karoyakani</div>
174+
<div class="date"><a class="date" href="#message-1762056229.274829">2025-11-02 13:03:49 +0900</a></div>
175+
</div>
176+
<div class="description"><a href='https://byorgey.github.io/blog/posts/2024/11/02/UnionFind.html'>Competitive Programming in Haskell: Union-Find</a>: Brent Yorgey 先生の blog をもとに Kattis の問題を解きます</div>
177+
<a class="link-to-replies" href="80/1762056229.274829.html">... Replies ...</a>
178+
</div>
179+
</div>
180+
<div class="event" id="message-1762057304.479609">
181+
<div class="content">
182+
<div class="summary">
183+
<div class="user">sigma</div>
184+
<div class="date"><a class="date" href="#message-1762057304.479609">2025-11-02 13:21:44 +0900</a></div>
185+
</div>
186+
<div class="description">• 昨日のAtCoderの復習<br/>• <a href='https://judge.u-aizu.ac.jp/onlinejudge/finder.jsp?course=ITP1'>https://judge.u-aizu.ac.jp/onlinejudge/finder.jsp?course=ITP1</a> をちまちま解く<br/>• 内包表記弱いので復習、モナドについての理解を深めるため、関数プログラミング実践入門の続きを読む<br/></div>
187+
</div>
188+
</div>
189+
<div class="event" id="message-1762058355.287309">
190+
<div class="content">
191+
<div class="summary">
192+
<div class="user">S.K.</div>
193+
<div class="date"><a class="date" href="#message-1762058355.287309">2025-11-02 13:39:15 +0900</a></div>
194+
</div>
195+
<div class="description">S.K.です。ちょっと遅くなってしまいましたが、今週もお世話になります。よろしくお願いいたします。<br/>今週も Implementing Functional Languages: a tutorial の Chapter 6 Lambda Lifting の続きを進めて行こうと思います。</div>
196+
</div>
197+
</div>
198+
<div class="event" id="message-1762059130.869309">
199+
<div class="content">
200+
<div class="summary">
201+
<div class="user">igrep</div>
202+
<div class="date"><a class="date" href="#message-1762059130.869309">2025-11-02 13:52:10 +0900</a></div>
203+
</div>
204+
<div class="description">山本悠滋です。いつもどおりmakeMistakesToLearnHaskellやHaskell-jp Blogの続きをします。</div>
205+
</div>
206+
</div>
207+
<div class="event" id="message-1762074012.836689">
208+
<div class="content">
209+
<div class="summary">
210+
<div class="user">&lt;non-user&gt;</div>
211+
<div class="date"><a class="date" href="#message-1762074012.836689">2025-11-02 18:00:12 +0900</a></div>
212+
</div>
213+
<div class="description"></div>
214+
</div>
215+
</div>
216+
<div class="event" id="message-1762074690.231589">
217+
<div class="content">
218+
<div class="summary">
219+
<div class="user">igrep</div>
220+
<div class="date"><a class="date" href="#message-1762074690.231589">2025-11-02 18:11:30 +0900</a></div>
221+
</div>
222+
<div class="description">makeMistakesToLearnHaskellの進捗: <a href='https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/3f66f62dcab40cb6128939a7642e7f2d423477fe'>https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/3f66f62dcab40cb6128939a7642e7f2d423477fe</a><br/>Haskell-jp Blogの方はもう少しキリよくなるまで頑張ります。</div>
223+
<a class="link-to-replies" href="80/1762074690.231589.html">... Replies ...</a>
224+
</div>
225+
</div>
226+
<div class="event" id="message-1762074718.584409">
227+
<div class="content">
228+
<div class="summary">
229+
<div class="user">S.K.</div>
230+
<div class="date"><a class="date" href="#message-1762074718.584409">2025-11-02 18:11:58 +0900</a></div>
231+
</div>
232+
<div class="description">先週着手した Ex.6.5 (冗長なスーパーコンビネータの排除)を、ひとまず完了しました。<br/>次いで、Ex.6.6 (冗長なローカル定義の排除)の対応中です。<br/>テキストに載っていた例を含む次のテストプログラム<br/>f x = let g = (\\y. y+1) in g (g x);<br/>main = f 4<br/>の動作確認結果を元に方針を決めて実装中です。<br/>こちらも Ex.6.5 と同様に時間がかかってしまってますが、自分に可能なペースで進めて行こうと思います。</div>
233+
</div>
234+
</div>
235+
<div class="event" id="message-1762074852.280249">
236+
<div class="content">
237+
<div class="summary">
238+
<div class="user">karoyakani</div>
239+
<div class="date"><a class="date" href="#message-1762074852.280249">2025-11-02 18:14:12 +0900</a></div>
240+
</div>
241+
<div class="description">Competitive Programming in Haskell: Union-Find: 読了　ナルホド <a href='http://Data.Array.ST'>Data.Array.ST</a> を用いて高速　しかも中間 State を一般的な Semigroup 属性の Data で維持するスグレもの　今まで手持ちのライブラリは Data.Vector ベースの物しか無かったので助かる　今回出された例題 "Duck Journey" と "Inventing Test Data" に挑戦中<br/>たった今　米国夏時間が終わった　来週から日本に行きますので　２週間休みます</div>
242+
</div>
243+
</div>
244+
<div class="event" id="message-1762075823.245129">
245+
<div class="content">
246+
<div class="summary">
247+
<div class="user">igrep</div>
248+
<div class="date"><a class="date" href="#message-1762075823.245129">2025-11-02 18:30:23 +0900</a></div>
249+
</div>
250+
<div class="description">Haskell-jp Blogの進捗。Okapiの仕様を日本語にするのがめんどかった。<br/><a href='https://github.com/haskell-jp/blog/commit/58a4a7a887a5792f85e2a1a3a19e64c8649e4e09'>https://github.com/haskell-jp/blog/commit/58a4a7a887a5792f85e2a1a3a19e64c8649e4e09</a></div>
251+
</div>
252+
</div>
161253
</div>
162254
<div class="ui pagination menu">
163255
<a href="../../html/CUPBC8WCE/79.html" class="item">Previous</a>

‎docs/html/CUPBC8WCE/80/1762056229.274829.html‎

Lines changed: 84 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,84 @@
1+
<!DOCTYPE html>
2+
<html>
3+
<head>
4+
<meta charset="utf-8">
5+
<title>haskell-jp / mokumoku-online #80 at 2025-11-02 13:03:49 +0900</title>
6+
<link rel="stylesheet" href="../../../main.css" type="text/css" media="screen">
7+
</head>
8+
<body>
9+
<div class="ui container">
10+
<h1>haskell-jp / mokumoku-online #80 at 2025-11-02 13:03:49 +0900</h1>
11+
<div class="ui pagination menu">
12+
<a href="../80.html" class="item">Back to mokumoku-online #80</a>
13+
</div>
14+
<div class="ui feed">
15+
<div class="event" id="message-1762056229.274829">
16+
<div class="content">
17+
<div class="summary">
18+
<div class="user">karoyakani</div>
19+
<div class="date"><a class="date" href="#message-1762056229.274829">2025-11-02 13:03:49 +0900</a></div>
20+
</div>
21+
<div class="description"><a href='https://byorgey.github.io/blog/posts/2024/11/02/UnionFind.html'>Competitive Programming in Haskell: Union-Find</a>: Brent Yorgey 先生の blog をもとに Kattis の問題を解きます</div>
22+
</div>
23+
</div>
24+
<div class="event" id="message-1762057960.152229">
25+
<div class="content">
26+
<div class="summary">
27+
<div class="user">sigma</div>
28+
<div class="date"><a class="date" href="#message-1762057960.152229">2025-11-02 13:32:40 +0900</a></div>
29+
</div>
30+
<div class="description">これって投稿日時順に読むものなんでしょうか。<br/>自分もABCくらいさくっと解けるようになったら読みたいなと思い</div>
31+
</div>
32+
</div>
33+
<div class="event" id="message-1762057991.833749">
34+
<div class="content">
35+
<div class="summary">
36+
<div class="user">sigma</div>
37+
<div class="date"><a class="date" href="#message-1762057991.833749">2025-11-02 13:33:11 +0900</a></div>
38+
</div>
39+
<div class="description">(AtCoderでいう茶色レベルを超えたら)</div>
40+
</div>
41+
</div>
42+
<div class="event" id="message-1762059013.774619">
43+
<div class="content">
44+
<div class="summary">
45+
<div class="user">karoyakani</div>
46+
<div class="date"><a class="date" href="#message-1762059013.774619">2025-11-02 13:50:13 +0900</a></div>
47+
</div>
48+
<div class="description">Yorgey 先生の連続 blogs の冒頭記事に setup と Scanner ライブラリの説明がありますのでその方がよろしいでしょう　また記事を順を追って読むと Graph とかそのほか有用なライブラリの説明がなされたり　２回また３回連続の blogs もあったりしますので　「投稿日時順に読む」が良いと思います</div>
49+
</div>
50+
</div>
51+
<div class="event" id="message-1762061426.098569">
52+
<div class="content">
53+
<div class="summary">
54+
<div class="user">karoyakani</div>
55+
<div class="date"><a class="date" href="#message-1762061426.098569">2025-11-02 14:30:26 +0900</a></div>
56+
</div>
57+
<div class="description">申し遅れましたが Kattis problems にはそれぞれ difficulty が示されていますので　容易な問題は今からでも挑戦できます　Yorgey 先生の解説は読みやすく読者の力を付けるのに有用なものばかりですので Haskell 的プログラム技法を身につけるのにお勧めです　そのためには AtCoder の何色かは気にしないほうが良いと思います<br/>ただし Kattis system には Data.Vector がありませんので　こればかりは AtCoder の先達からしっかりと模倣して勉強してください　ガンバってください</div>
58+
</div>
59+
</div>
60+
<div class="event" id="message-1762064194.462649">
61+
<div class="content">
62+
<div class="summary">
63+
<div class="user">sigma</div>
64+
<div class="date"><a class="date" href="#message-1762064194.462649">2025-11-02 15:16:34 +0900</a></div>
65+
</div>
66+
<div class="description">ありがとうございます！<br/>色上げるのも目標の一つではありますが、Haskell的技法を身につける方が優先なので読んでみます！</div>
67+
</div>
68+
</div>
69+
<div class="event" id="message-1762064585.789479">
70+
<div class="content">
71+
<div class="summary">
72+
<div class="user">sigma</div>
73+
<div class="date"><a class="date" href="#message-1762064585.789479">2025-11-02 15:23:05 +0900</a></div>
74+
</div>
75+
<div class="description">Kattiesというのがオンラインジャッジシステムであることを今知りました。<br/>問題解いてYorgey先生の解説を副読本にすると捗りそう！</div>
76+
</div>
77+
</div>
78+
</div>
79+
<div class="ui pagination menu">
80+
<a href="../80.html" class="item">Back to mokumoku-online #80</a>
81+
</div>
82+
</div>
83+
</body>
84+
</html>

‎docs/html/CUPBC8WCE/80/1762074690.231589.html‎

Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
<!DOCTYPE html>
2+
<html>
3+
<head>
4+
<meta charset="utf-8">
5+
<title>haskell-jp / mokumoku-online #80 at 2025-11-02 18:11:30 +0900</title>
6+
<link rel="stylesheet" href="../../../main.css" type="text/css" media="screen">
7+
</head>
8+
<body>
9+
<div class="ui container">
10+
<h1>haskell-jp / mokumoku-online #80 at 2025-11-02 18:11:30 +0900</h1>
11+
<div class="ui pagination menu">
12+
<a href="../80.html" class="item">Back to mokumoku-online #80</a>
13+
</div>
14+
<div class="ui feed">
15+
<div class="event" id="message-1762074690.231589">
16+
<div class="content">
17+
<div class="summary">
18+
<div class="user">igrep</div>
19+
<div class="date"><a class="date" href="#message-1762074690.231589">2025-11-02 18:11:30 +0900</a></div>
20+
</div>
21+
<div class="description">makeMistakesToLearnHaskellの進捗: <a href='https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/3f66f62dcab40cb6128939a7642e7f2d423477fe'>https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/3f66f62dcab40cb6128939a7642e7f2d423477fe</a><br/>Haskell-jp Blogの方はもう少しキリよくなるまで頑張ります。</div>
22+
</div>
23+
</div>
24+
<div class="event" id="message-1762075823.245129">
25+
<div class="content">
26+
<div class="summary">
27+
<div class="user">igrep</div>
28+
<div class="date"><a class="date" href="#message-1762075823.245129">2025-11-02 18:30:23 +0900</a></div>
29+
</div>
30+
<div class="description">Haskell-jp Blogの進捗。Okapiの仕様を日本語にするのがめんどかった。<br/><a href='https://github.com/haskell-jp/blog/commit/58a4a7a887a5792f85e2a1a3a19e64c8649e4e09'>https://github.com/haskell-jp/blog/commit/58a4a7a887a5792f85e2a1a3a19e64c8649e4e09</a></div>
31+
</div>
32+
</div>
33+
</div>
34+
<div class="ui pagination menu">
35+
<a href="../80.html" class="item">Back to mokumoku-online #80</a>
36+
</div>
37+
</div>
38+
</body>
39+
</html>

‎docs/index.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2737,7 +2737,7 @@ <h1>Slack log of haskell-jp</h1>
27372737
<div class="content">
27382738
<details>
27392739
<summary>
2740-
<a href="html/CUPBC8WCE/80.html">mokumoku-online</a> (Last updated at 2025-10-26 20:41:20 +0900)
2740+
<a href="html/CUPBC8WCE/80.html">mokumoku-online</a> (Last updated at 2025-11-02 18:30:23 +0900)
27412741
</summary>
27422742
<div class="ui items">
27432743
<div class="page item">

‎docs/json/.timestamps.json‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@
1010
"CM4J6EDHR": "1756620827.099749",
1111
"CE368SB5G": "1756620814.950049",
1212
"C4LFB6DE0": "1706698766.642739",
13-
"CUPBC8WCE": "1761478880.443319",
13+
"CUPBC8WCE": "1762075823.245129",
1414
"C014PGG641Z": "1756620872.651359",
1515
"C028VRTRBRT": "1756620850.924049",
1616
"C7Y71415W": "1761482131.011089",

‎docs/json/CUPBC8WCE/80.json‎

Lines changed: 60 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -94,5 +94,65 @@
9494
"text": "Haskell-jp Blogの進捗:\n- <https://github.com/haskell-jp/blog/commit/3e58bf7d4cd1bb13608110ec8739f3a163e5a663>\n- <https://github.com/haskell-jp/blog/commit/2c2802d6804959b10064ca34567c56ba595bf98a>",
9595
"type": "message",
9696
"user": "U4LGTMTMK"
97+
},
98+
{
99+
"ts": "1762056025.870929",
100+
"text": "",
101+
"type": "message",
102+
"user": null
103+
},
104+
{
105+
"ts": "1762056229.274829",
106+
"text": "<https://byorgey.github.io/blog/posts/2024/11/02/UnionFind.html|Competitive Programming in Haskell: Union-Find>: Brent Yorgey 先生の blog をもとに Kattis の問題を解きます",
107+
"type": "message",
108+
"user": "U584T7GAH"
109+
},
110+
{
111+
"ts": "1762057304.479609",
112+
"text": "• 昨日のAtCoderの復習\n• <https://judge.u-aizu.ac.jp/onlinejudge/finder.jsp?course=ITP1> をちまちま解く\n• 内包表記弱いので復習、モナドについての理解を深めるため、関数プログラミング実践入門の続きを読む\n",
113+
"type": "message",
114+
"user": "U09ME60J23W"
115+
},
116+
{
117+
"ts": "1762058355.287309",
118+
"text": "S.K.です。ちょっと遅くなってしまいましたが、今週もお世話になります。よろしくお願いいたします。\n今週も Implementing Functional Languages: a tutorial の Chapter 6 Lambda Lifting の続きを進めて行こうと思います。",
119+
"type": "message",
120+
"user": "U04BD6ZFKQ8"
121+
},
122+
{
123+
"ts": "1762059130.869309",
124+
"text": "山本悠滋です。いつもどおりmakeMistakesToLearnHaskellやHaskell-jp Blogの続きをします。",
125+
"type": "message",
126+
"user": "U4LGTMTMK"
127+
},
128+
{
129+
"ts": "1762074012.836689",
130+
"text": "",
131+
"type": "message",
132+
"user": null
133+
},
134+
{
135+
"ts": "1762074690.231589",
136+
"text": "makeMistakesToLearnHaskellの進捗: <https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/3f66f62dcab40cb6128939a7642e7f2d423477fe>\nHaskell-jp Blogの方はもう少しキリよくなるまで頑張ります。",
137+
"type": "message",
138+
"user": "U4LGTMTMK"
139+
},
140+
{
141+
"ts": "1762074718.584409",
142+
"text": "先週着手した Ex.6.5 (冗長なスーパーコンビネータの排除)を、ひとまず完了しました。\n次いで、Ex.6.6 (冗長なローカル定義の排除)の対応中です。\nテキストに載っていた例を含む次のテストプログラム\nf x = let g = (\\\\y. y+1) in g (g x);\nmain = f 4\nの動作確認結果を元に方針を決めて実装中です。\nこちらも Ex.6.5 と同様に時間がかかってしまってますが、自分に可能なペースで進めて行こうと思います。",
143+
"type": "message",
144+
"user": "U04BD6ZFKQ8"
145+
},
146+
{
147+
"ts": "1762074852.280249",
148+
"text": "Competitive Programming in Haskell: Union-Find: 読了　ナルホド <http://Data.Array.ST|Data.Array.ST> を用いて高速　しかも中間 State を一般的な Semigroup 属性の Data で維持するスグレもの　今まで手持ちのライブラリは Data.Vector ベースの物しか無かったので助かる　今回出された例題 \"Duck Journey\" と \"Inventing Test Data\" に挑戦中\nたった今　米国夏時間が終わった　来週から日本に行きますので　２週間休みます",
149+
"type": "message",
150+
"user": "U584T7GAH"
151+
},
152+
{
153+
"ts": "1762075823.245129",
154+
"text": "Haskell-jp Blogの進捗。Okapiの仕様を日本語にするのがめんどかった。\n<https://github.com/haskell-jp/blog/commit/58a4a7a887a5792f85e2a1a3a19e64c8649e4e09>",
155+
"type": "message",
156+
"user": "U4LGTMTMK"
97157
}
98158
]

0 commit comments

Comments
 (0)