22:32:06
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
22:28:09
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
21:14:32
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
21:14:08
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2025-02-14 16:52:46 山Dの投稿
yamad@msk.seppuku.club
このアカウントは、notestockで公開設定になっていません。
19:11:19
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
18:54:22
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
18:53:39
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
printf("%zu", ?);
? の型が何になるか、
18:44:00
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
18:43:29
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
バレンタインデーチョコはオカンからしかもらえない勢、集合！！
あ、でもわたし、フォロワーのオカンからももらってるんで2個なんです✋️ 
18:37:26
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2025-02-14 18:36:47 Rikuoh Tsujitaniの投稿
riq0h@mystech.ink
このアカウントは、notestockで公開設定になっていません。
18:20:47
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2025-02-14 18:18:53 Egamiの投稿
egami_mal@baraag.net
このアカウントは、notestockで公開設定になっていません。
18:08:06
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
18:02:31
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2025-02-14 17:59:21 ひさめの投稿
sniflaye@misskey.io
このアカウントは、notestockで公開設定になっていません。
17:52:09
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
神奈川県警 巡査長を書類送検 暴力団への情報漏えい事件相次ぐ | NHK
15:13:40
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2025-02-14 15:13:02 許してゆるちん教祖の投稿
Tyupakabura@pawoo.net
このアカウントは、notestockで公開設定になっていません。
14:54:38
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
14:45:24
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
14:11:35
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
%E9%9B%AA%E4%B8%8B%E3%82%8D%E3%81%97
13:54:23
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2025-02-14 13:42:33 2Duo(自鯖)
の投稿
2Duo@mi.mtomo.uk
このアカウントは、notestockで公開設定になっていません。
13:52:00
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
13:51:28
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2025-02-14 12:30:48 環🔆 the v3の投稿
TamaX31@v3.tamx.tk
このアカウントは、notestockで公開設定になっていません。
13:50:14
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
政府 ブラジル大統領 国賓として日本に招くことを閣議決定 | NHK
13:44:06
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2025-02-14 13:22:29 2Duo(自鯖)
の投稿
2Duo@mi.mtomo.uk
このアカウントは、notestockで公開設定になっていません。
13:42:15
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
13:41:10
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
13:04:20
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
12:42:14
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2025-02-14 12:42:06 unmaker(あんめい)の投稿
unmaker@pawoo.net
このアカウントは、notestockで公開設定になっていません。
12:07:17
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2024-02-15 19:32:18 御免なさい
の投稿
gomennasai@misskey.io
このアカウントは、notestockで公開設定になっていません。
11:56:55
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2025-02-14 11:51:33 葉月光
🔰の投稿
hdkhkr@misskey.io
このアカウントは、notestockで公開設定になっていません。
11:56:46
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
09:32:28
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
「まだ現役をやっていたかったのですが、泣く泣く ｳｯ ｩｩｩ このたび退団することにあいなりました」
09:13:22
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
09:12:00
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2025-02-14 08:56:35 ひさめの投稿
sniflaye@misskey.io
このアカウントは、notestockで公開設定になっていません。
09:11:37
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2025-02-14 03:02:26 higakitの投稿
higakit@taruntarun.net
このアカウントは、notestockで公開設定になっていません。
09:08:40
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
%E5%9B%BD%E3%81%AE%E9%9D%A2%E7%A9%8D%E9%A0%86%E3%83%AA%E3%82%B9%E3%83%88
08:24:22
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
今日はバレンタインデー🍫💖 実は私フォロワーさんの中に好きな人💘がいるんですよ……😆❤️ でも恥ずかしいから自分からいえないの……🤐💦 DMでチョコ🤎くれたらおっけーするんだけどなぁ💨……なんて……てへぺろ🤪
08:16:03
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
08:14:11
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
08:11:05
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
08:10:57
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2025-02-13 20:59:05 なべしまがんも
の投稿
hawomigakou@misskey.io
このアカウントは、notestockで公開設定になっていません。
08:10:06
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2025-02-14 08:09:28 poccheの投稿
pocche@misskey.io
このアカウントは、notestockで公開設定になっていません。
08:00:38
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
printf("%zu", ?);
? の型が何になるか、
07:59:15
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2025-02-13 22:31:58 箱山の投稿
pacochi@pawoo.net
このアカウントは、notestockで公開設定になっていません。
07:57:28
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2025-02-13 15:59:23
さん
の投稿
gogo80000v@misskey.io
このアカウントは、notestockで公開設定になっていません。
07:56:14
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2025-02-14 03:19:00
さん
の投稿
gogo80000v@misskey.io
このアカウントは、notestockで公開設定になっていません。
07:54:26
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
高校生を連れ去り詐欺に加担させたか 日本人の男拘束 タイ警察 | NHK
07:51:29
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
07:50:58
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2025-02-14 07:18:08 unaristの投稿
unarist@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
07:49:16
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2025-02-14 07:32:26 momoの投稿
momozou@fedibird.com
このアカウントは、notestockで公開設定になっていません。
07:44:50
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2025-02-13 19:03:53 おゆうわちゃんの投稿
oyuchi@misskey.io
このアカウントは、notestockで公開設定になっていません。
07:43:57
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2025-02-14 07:40:03 あきほ@秋田犬会館の投稿
akitainuho@misskey.io
このアカウントは、notestockで公開設定になっていません。
07:43:41
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
03:12:34
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
• 関数に限定された継続の合成による限定継続の実現の試み
• Towards Context-Sensitive Parser Combinator with Regular Language Optimization
• プラグインによってプログラミング言語を自由に構成できるシステムの提案
• Abstracting Effect Systems for Algebraic Effect Handlers
• Simulating One-Shot Effect Handlers Using Coroutines
• 並行可逆プログラミング言語Concurrent Janusおよびその処理系
とかかな
03:12:25
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
他気になるのだと
• 一般化代数的データ型 (GADT) における多相再帰を必要とするプログラムの型推論
• CPS 計算の線形型による拡張
• BlueScript VM: 非集約型仮想機械による高速かつ省メモリの言語処理系の試作
• Algebraic/Scoped effects & handlersの型保存CPS変換
• 限定継続演算子のための多相な型システム
• 動的型推論を行う漸進的型付け言語のコンパイル手法
• 漸進的型付き計算に対する多段階計算の導入
• Towards Live Effectful Programming with Typed Holes
02:59:03
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
『Linear Haskell での Rust 流借用の純粋な実現』は自分に直接気になる
02:58:19
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
02:58:02
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
PPL 2025: 第27回プログラミングおよびプログラミング言語ワークショップ
01:42:38
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
“鳥類の起源 2000万年近くさかのぼる” 初発見の化石で 中国 | NHK
01:35:10
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2025-02-14 01:33:15 tackmanの投稿
tackman@misskey.io
このアカウントは、notestockで公開設定になっていません。
00:59:02
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
00:27:37
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
入札忘れてた中国製二眼レフカメラが思ってたよりも低く落札されててあばばば
00:23:11
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2025-02-14 00:18:32 たかへーの投稿
takahyy@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
00:23:09
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2025-02-13 23:52:50 DANballの投稿
DANball@vivaldi.net
このアカウントは、notestockで公開設定になっていません。
00:22:08
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2025-02-13 22:47:28 正気・欧州参戦・犬の投稿
tsukimikaze@misskey.io
このアカウントは、notestockで公開設定になっていません。
00:21:23
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2024-05-13 12:32:28 オガサワラペンギンの投稿
boronology@social.penguinability.net
このアカウントは、notestockで公開設定になっていません。
00:19:44
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
2025-02-13 22:57:26 俳句検出bot（3代目）の投稿
find575@social.timespiral.co.jp
このアカウントは、notestockで公開設定になっていません。
00:19:24
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
00:19:12
kakkun61@技術書典 18 き10（6月1日）
@kakkun61@pawoo.net
