Slack log update at Mon Feb 17 09:03:14 2025

haskell-jp · Feb 17, 2025 · f089bdb · f089bdb
1 parent 49b5dab
commit f089bdb
Show file tree

Hide file tree

Showing 11 changed files with 174 additions and 8 deletions.
diff --git a/docs/html/C4M4TT8JJ/107.html b/docs/html/C4M4TT8JJ/107.html
@@ -292,6 +292,15 @@ <h1>haskell-jp / random #107</h1>
           <div class="description">FYI: 今月2/26(水)夜に、直近の技術カンファレンスのCFP向けにプロポーザル作成に取り組む勉強会を開催します。<br/>「関数型まつり」のスタッフも何名か参加予定なので、<br/>• <a href='https://2025.fp-matsuri.org/'>関数型まつり2025</a><br/>• <a href='https://sessionize.com/jjug-ccc-2025-spring/'>JJUG CCC 2025 Spring</a><br/>• <a href='https://2025.tskaigi.org/'>TSKaigi 2025</a><br/>などでの登壇をご検討中のHaskellerの皆様も、もしよろしければぜひ!<br/><a href='https://jsa.connpass.com/event/344971/'>https://jsa.connpass.com/event/344971/</a></div>
         </div>
       </div>
+      <div class="event" id="message-1739675051.636299">
+        <div class="content">
+          <div class="summary">
+            <div class="user">U08E6HW9D5W</div>
+            <div class="date"><a class="date" href="#message-1739675051.636299">2025-02-16 12:04:11 +0900</a></div>
+          </div>
+          <div class="description">@U08E6HW9D5W has joined the channel</div>
+        </div>
+      </div>
     </div>
     <div class="ui pagination menu">
       <a href="../../html/C4M4TT8JJ/106.html" class="item">Previous</a>

diff --git a/docs/html/C5666B6BB/107.html b/docs/html/C5666B6BB/107.html
@@ -50,6 +50,15 @@ <h1>haskell-jp / questions #107</h1>
           <div class="description">@ has joined the channel</div>
         </div>
       </div>
+      <div class="event" id="message-1739675051.546599">
+        <div class="content">
+          <div class="summary">
+            <div class="user">U08E6HW9D5W</div>
+            <div class="date"><a class="date" href="#message-1739675051.546599">2025-02-16 12:04:11 +0900</a></div>
+          </div>
+          <div class="description">@U08E6HW9D5W has joined the channel</div>
+        </div>
+      </div>
     </div>
     <div class="ui pagination menu">
       <a href="../../html/C5666B6BB/106.html" class="item">Previous</a>

diff --git a/docs/html/CR2TETE5R/26.html b/docs/html/CR2TETE5R/26.html
@@ -236,6 +236,15 @@ <h1>haskell-jp / beginners #26</h1>
           <div class="description">@karoyakani has joined the channel</div>
         </div>
       </div>
+      <div class="event" id="message-1739675051.380129">
+        <div class="content">
+          <div class="summary">
+            <div class="user">U08E6HW9D5W</div>
+            <div class="date"><a class="date" href="#message-1739675051.380129">2025-02-16 12:04:11 +0900</a></div>
+          </div>
+          <div class="description">@U08E6HW9D5W has joined the channel</div>
+        </div>
+      </div>
     </div>
     <div class="ui pagination menu">
       <a href="../../html/CR2TETE5R/25.html" class="item">Previous</a>

diff --git a/docs/html/CUPBC8WCE/73.html b/docs/html/CUPBC8WCE/73.html
@@ -292,6 +292,78 @@ <h1>haskell-jp / mokumoku-online #73</h1>
           <div class="description">@EtoAl has joined the channel</div>
         </div>
       </div>
+      <div class="event" id="message-1739678406.399669">
+        <div class="content">
+          <div class="summary">
+            <div class="user">&lt;non-user&gt;</div>
+            <div class="date"><a class="date" href="#message-1739678406.399669">2025-02-16 13:00:06 +0900</a></div>
+          </div>
+          <div class="description"></div>
+        </div>
+      </div>
+      <div class="event" id="message-1739678782.984089">
+        <div class="content">
+          <div class="summary">
+            <div class="user">igrep</div>
+            <div class="date"><a class="date" href="#message-1739678782.984089">2025-02-16 13:06:22 +0900</a></div>
+          </div>
+          <div class="description">山本悠滋です。いつもどおりmakeMistakesToLearnHaskellやHaskell製Webアプリケーションフレームワークの記事の続きを進めたいところですが、GitHubから「Ubuntu-20.04 hosted runner image is closing down」だから上げろと行ってきたので上げる件を先にやります。</div>
+        </div>
+      </div>
+      <div class="event" id="message-1739678876.706589">
+        <div class="content">
+          <div class="summary">
+            <div class="user">karoyakani</div>
+            <div class="date"><a class="date" href="#message-1739678876.706589">2025-02-16 13:07:56 +0900</a></div>
+          </div>
+          <div class="description"><a href='https://ocw.mit.edu/courses/18-s097-applied-category-theory-january-iap-2019/'>Applied Category Theory</a> (MIT OCW 18.S097 2019) Chapter 4: Co-design: Profunctors and Monoidal Categories. Part 1 担当 Spivak 先生<br/>あとハシゴで <a href='https://atcoder.jp/contests/typical90'>競プロ典型 90 問</a> 90 日目 - Tenkei90's Last Problem（★7）は先週から持ち越したもの</div>
+        </div>
+      </div>
+      <div class="event" id="message-1739685432.127219">
+        <div class="content">
+          <div class="summary">
+            <div class="user">S.K.</div>
+            <div class="date"><a class="date" href="#message-1739685432.127219">2025-02-16 14:57:12 +0900</a></div>
+          </div>
+          <div class="description">S.K.です。かなり遅くなってしまいましたが、今週もお世話になります。よろしくお願いいたします。<br/>先週に引き続き、Implementing Functional Languages: a tutorial の 5.3.2 The instruction set の Ex.5.9 のデバッグを進めて行こうと思います。</div>
+        </div>
+      </div>
+      <div class="event" id="message-1739690380.185179">
+        <div class="content">
+          <div class="summary">
+            <div class="user">igrep</div>
+            <div class="date"><a class="date" href="#message-1739690380.185179">2025-02-16 16:19:40 +0900</a></div>
+          </div>
+          <div class="description">用事があるので終えます！眠気に負けてあんまり捗りませんでした！<br/>GitHub Actionsの件: <a href='https://github.com/haskell-jp/antenna/pull/35'>https://github.com/haskell-jp/antenna/pull/35</a><br/>makeMistakesToLearnHaskellの更新: <a href='https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/c02b510e82c89f13e1aa839165bb03fc98a9501e'>https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/c02b510e82c89f13e1aa839165bb03fc98a9501e</a><br/>Haskell-jp Blogの更新: <a href='https://github.com/haskell-jp/blog/commit/425abd418387722e41afff607dc95ac9a50b5100'>https://github.com/haskell-jp/blog/commit/425abd418387722e41afff607dc95ac9a50b5100</a></div>
+        </div>
+      </div>
+      <div class="event" id="message-1739696411.837679">
+        <div class="content">
+          <div class="summary">
+            <div class="user">&lt;non-user&gt;</div>
+            <div class="date"><a class="date" href="#message-1739696411.837679">2025-02-16 18:00:11 +0900</a></div>
+          </div>
+          <div class="description"></div>
+        </div>
+      </div>
+      <div class="event" id="message-1739697029.561719">
+        <div class="content">
+          <div class="summary">
+            <div class="user">karoyakani</div>
+            <div class="date"><a class="date" href="#message-1739697029.561719">2025-02-16 18:10:29 +0900</a></div>
+          </div>
+          <div class="description">Applied Category Theory, Chapter 4: Co-design: Profunctors and Monoidal Categories. Part 1 の動画視聴 + text 読了　Collaborative design の要諦が示される　Co-design の elements の左に functionalities 右に requirements を置いた Co-design diagram が描かれ　これらの feasibility relations が profunctors に対応している　それを一般化して Enriched categories / V-profunctors を考える事になる　フムフム　ここまでの豊饒圏の導入が自然でわかりやすい<br/>競プロ典型 90 問 90 日目 - Tenkei90's Last Problem（★7）　激ムズ [1..k] の範囲で全数列挙しか思いつかない　味噌汁で顔を洗ってオトトイ出直します　トホホ</div>
+        </div>
+      </div>
+      <div class="event" id="message-1739698193.256019">
+        <div class="content">
+          <div class="summary">
+            <div class="user">S.K.</div>
+            <div class="date"><a class="date" href="#message-1739698193.256019">2025-02-16 18:29:53 +0900</a></div>
+          </div>
+          <div class="description">Ex.5.9 のデバッグのために、Ex.5.10. の実行結果を確認していました。<br/>エラーで停止した時点で、7個の子タスクが生成されていて、そもそもその動作が正しいかどうか確認中です。<br/>3個目の子タスクまでは一応動作が腑に落ちたのですが、4個目以降が正しいかどうかまだよくわかっていません。<br/>自分にとってまだまだ先は長そうですが、引き続きデバッグを進めます。</div>
+        </div>
+      </div>
     </div>
     <div class="ui pagination menu">
       <a href="../../html/CUPBC8WCE/72.html" class="item">Previous</a>

diff --git a/docs/index.html b/docs/index.html
@@ -84,7 +84,7 @@ <h1>Slack log of haskell-jp</h1>
         <div class="content">
           <details>
             <summary>
-              <a href="html/C4M4TT8JJ/107.html">random</a> (Last updated at 2025-02-07 13:20:39 +0900)
+              <a href="html/C4M4TT8JJ/107.html">random</a> (Last updated at 2025-02-16 12:04:11 +0900)
             </summary>
             <div class="ui items">
               <div class="page item">
@@ -1255,7 +1255,7 @@ <h1>Slack log of haskell-jp</h1>
         <div class="content">
           <details>
             <summary>
-              <a href="html/C5666B6BB/107.html">questions</a> (Last updated at 2025-02-06 08:03:17 +0900)
+              <a href="html/C5666B6BB/107.html">questions</a> (Last updated at 2025-02-16 12:04:11 +0900)
             </summary>
             <div class="ui items">
               <div class="page item">
@@ -2728,7 +2728,7 @@ <h1>Slack log of haskell-jp</h1>
         <div class="content">
           <details>
             <summary>
-              <a href="html/CUPBC8WCE/73.html">mokumoku-online</a> (Last updated at 2025-02-10 15:32:17 +0900)
+              <a href="html/CUPBC8WCE/73.html">mokumoku-online</a> (Last updated at 2025-02-16 18:29:53 +0900)
             </summary>
             <div class="ui items">
               <div class="page item">
@@ -4105,7 +4105,7 @@ <h1>Slack log of haskell-jp</h1>
         <div class="content">
           <details>
             <summary>
-              <a href="html/CR2TETE5R/26.html">beginners</a> (Last updated at 2025-02-14 05:23:36 +0900)
+              <a href="html/CR2TETE5R/26.html">beginners</a> (Last updated at 2025-02-16 12:04:11 +0900)
             </summary>
             <div class="ui items">
               <div class="page item">

diff --git a/docs/json/.timestamps.json b/docs/json/.timestamps.json
@@ -1,16 +1,16 @@
 {
     "CN3P057K8": "1708179797.931339",
     "CA5H65L2J": "1714984347.674529",
-    "C4M4TT8JJ": "1738902039.968819",
+    "C4M4TT8JJ": "1739675051.636299",
     "C01LT3YTT3K": "1708179754.678719",
     "C011X16H4TS": "1708179794.062679",
     "CCYF8H43A": "1737728271.556189",
     "CGT2Q4KHP": "1708179793.171919",
-    "C5666B6BB": "1738796597.861269",
+    "C5666B6BB": "1739675051.546599",
     "CM4J6EDHR": "1718427143.324419",
     "CE368SB5G": "1708179791.843599",
     "C4LFB6DE0": "1706698766.642739",
-    "CUPBC8WCE": "1739169137.997889",
+    "CUPBC8WCE": "1739698193.256019",
     "C014PGG641Z": "1739169184.262429",
     "C028VRTRBRT": "1718427063.735209",
     "C7Y71415W": "1739169131.603759",
@@ -19,7 +19,7 @@
     "CR4U9PBLL": "1718427023.145029",
     "CAXQ09PN2": "1718427040.110509",
     "CD87P78HF": "1708179798.544269",
-    "CR2TETE5R": "1739478216.400729",
+    "CR2TETE5R": "1739675051.380129",
     "C8R0H137H": "1732520395.931959",
     "GDTFWM8KX": "1573264081.002700",
     "CL3AXB1AL": "1733317500.293679"

diff --git a/docs/json/.users.json b/docs/json/.users.json
@@ -170,6 +170,7 @@
     "UJRDL35U3": "atled",
     "U98QDF5EJ": "VoQn",
     "ULEL4JRJS": "takumi_watanabe",
+    "U08E6HW9D5W": "jijijji",
     "U4M5CACDD": "k16.shikano",
     "U067PLT7Z1N": "lesguillemets",
     "U561YLE3T": "",

diff --git a/docs/json/C4M4TT8JJ/107.json b/docs/json/C4M4TT8JJ/107.json
@@ -184,5 +184,11 @@
         "text": "FYI: 今月2/26(水)夜に、直近の技術カンファレンスのCFP向けにプロポーザル作成に取り組む勉強会を開催します。\n「関数型まつり」のスタッフも何名か参加予定なので、\n• <https://2025.fp-matsuri.org/|関数型まつり2025>\n• <https://sessionize.com/jjug-ccc-2025-spring/|JJUG CCC 2025 Spring>\n• <https://2025.tskaigi.org/|TSKaigi 2025>\nなどでの登壇をご検討中のHaskellerの皆様も、もしよろしければぜひ!\n<https://jsa.connpass.com/event/344971/>",
         "type": "message",
         "user": "U56JX2GM8"
+    },
+    {
+        "ts": "1739675051.636299",
+        "text": "<@U08E6HW9D5W> has joined the channel",
+        "type": "message",
+        "user": "U08E6HW9D5W"
     }
 ]
diff --git a/docs/json/C5666B6BB/107.json b/docs/json/C5666B6BB/107.json
@@ -22,5 +22,11 @@
         "text": "<@U08CNES9DQQ> has joined the channel",
         "type": "message",
         "user": "U08CNES9DQQ"
+    },
+    {
+        "ts": "1739675051.546599",
+        "text": "<@U08E6HW9D5W> has joined the channel",
+        "type": "message",
+        "user": "U08E6HW9D5W"
     }
 ]
diff --git a/docs/json/CR2TETE5R/26.json b/docs/json/CR2TETE5R/26.json
@@ -136,5 +136,11 @@
         "text": "<@U584T7GAH> has joined the channel",
         "type": "message",
         "user": "U584T7GAH"
+    },
+    {
+        "ts": "1739675051.380129",
+        "text": "<@U08E6HW9D5W> has joined the channel",
+        "type": "message",
+        "user": "U08E6HW9D5W"
     }
 ]
diff --git a/docs/json/CUPBC8WCE/73.json b/docs/json/CUPBC8WCE/73.json
@@ -184,5 +184,53 @@
         "text": "<@U055FRPTWJH> has joined the channel",
         "type": "message",
         "user": "U055FRPTWJH"
+    },
+    {
+        "ts": "1739678406.399669",
+        "text": "",
+        "type": "message",
+        "user": null
+    },
+    {
+        "ts": "1739678782.984089",
+        "text": "山本悠滋です。いつもどおりmakeMistakesToLearnHaskellやHaskell製Webアプリケーションフレームワークの記事の続きを進めたいところですが、GitHubから「Ubuntu-20.04 hosted runner image is closing down」だから上げろと行ってきたので上げる件を先にやります。",
+        "type": "message",
+        "user": "U4LGTMTMK"
+    },
+    {
+        "ts": "1739678876.706589",
+        "text": "<https://ocw.mit.edu/courses/18-s097-applied-category-theory-january-iap-2019/|Applied Category Theory> (MIT OCW 18.S097 2019) Chapter 4: Co-design: Profunctors and Monoidal Categories. Part 1 担当 Spivak 先生\nあとハシゴで <https://atcoder.jp/contests/typical90|競プロ典型 90 問> 90 日目 - Tenkei90's Last Problem（★7）は先週から持ち越したもの",
+        "type": "message",
+        "user": "U584T7GAH"
+    },
+    {
+        "ts": "1739685432.127219",
+        "text": "S.K.です。かなり遅くなってしまいましたが、今週もお世話になります。よろしくお願いいたします。\n先週に引き続き、Implementing Functional Languages: a tutorial の 5.3.2 The instruction set の Ex.5.9 のデバッグを進めて行こうと思います。",
+        "type": "message",
+        "user": "U04BD6ZFKQ8"
+    },
+    {
+        "ts": "1739690380.185179",
+        "text": "用事があるので終えます！眠気に負けてあんまり捗りませんでした！\nGitHub Actionsの件: <https://github.com/haskell-jp/antenna/pull/35>\nmakeMistakesToLearnHaskellの更新: <https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/c02b510e82c89f13e1aa839165bb03fc98a9501e>\nHaskell-jp Blogの更新: <https://github.com/haskell-jp/blog/commit/425abd418387722e41afff607dc95ac9a50b5100>",
+        "type": "message",
+        "user": "U4LGTMTMK"
+    },
+    {
+        "ts": "1739696411.837679",
+        "text": "",
+        "type": "message",
+        "user": null
+    },
+    {
+        "ts": "1739697029.561719",
+        "text": "Applied Category Theory, Chapter 4: Co-design: Profunctors and Monoidal Categories. Part 1 の動画視聴 + text 読了　Collaborative design の要諦が示される　Co-design の elements の左に functionalities 右に requirements を置いた Co-design diagram が描かれ　これらの feasibility relations が profunctors に対応している　それを一般化して Enriched categories / V-profunctors を考える事になる　フムフム　ここまでの豊饒圏の導入が自然でわかりやすい\n競プロ典型 90 問 90 日目 - Tenkei90's Last Problem（★7）　激ムズ [1..k] の範囲で全数列挙しか思いつかない　味噌汁で顔を洗ってオトトイ出直します　トホホ",
+        "type": "message",
+        "user": "U584T7GAH"
+    },
+    {
+        "ts": "1739698193.256019",
+        "text": "Ex.5.9 のデバッグのために、Ex.5.10. の実行結果を確認していました。\nエラーで停止した時点で、7個の子タスクが生成されていて、そもそもその動作が正しいかどうか確認中です。\n3個目の子タスクまでは一応動作が腑に落ちたのですが、4個目以降が正しいかどうかまだよくわかっていません。\n自分にとってまだまだ先は長そうですが、引き続きデバッグを進めます。",
+        "type": "message",
+        "user": "U04BD6ZFKQ8"
     }
 ]