ねるで おさきにな

mineral water って不定冠詞付くんだ　bottle of が省略されてるのかな #Duolingo #英語

笹田さんに Ruby Ractor の GC について聞くチャンス！だけどあんまり疑問なかった

明日早抜けして豊橋まで行って新幹線で帰るか

中央構造線を貫通するトンネル工事ヤバそう

えらいダムなんやねえ 👀 佐久間ダム https://ja.wikipedia.org/wiki/%E4%BD%90%E4%B9%85%E9%96%93%E3%83%80%E3%83%A0

なんかダムあんねえって思ってたらやっぱりダム起因なんか

このアカウントは、notestockで公開設定になっていません。

山間部の鉄道って谷沿い川沿いに走るものと思ってたのに、飯田線は急にサイドステップして何？！

豊橋って路面電車走ってんの

あとクソデカ弘法大使像があってバブルの産物かと思ったら戦前からあるらしい

夕方6時ごろになるけど間に合うかな

PPL 会場近くのお寺にマニ車あるらしい！　明日終わりに寄って回そう！ https://www.kongoji.com/history

このアカウントは、notestockで公開設定になっていません。

@yamad .cxx

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

日本語文字を含む等幅フォントって最近はみんな何使ってるん？　Ricty は obsolete だよって作者が書いてるんよね　源ノ角ゴシック Code JP は幅比が 1:2 じゃなくて避けたい

自分の集中が切れた感じする

コルーチンを使ってワンショットエフェクトハンドラーをシミュレートする話　どっちの方が表現力高いのかとか調べたよ　複雑だった #PPL

その新しい型へ渡すライフタイムを static（プログラムのはじめからおわりまで）にすると Rust と同じ affine type で、dynamic（一瞬で寿命になる）にすると Linear Haskell と同じになるらしい

ウェブアプリケーションで動く JVM を作ったという話　「wasm は低レイヤーで」と言ってたけど JVM と低レイヤーどあいは似たり寄ったりじゃないのかな #PPL

JVM じゃなくて Java-to-C コンパイラーだった

Processing-in-Memory (PIM) モジュールというプロセッサーを積んだメモリーがあって（そうなんだ）、そこで動く JVM を作ったという話 #PPL

通信を型システムで表す session type に、メタプログラミングを表すの contextual type を混ぜたいという話　contextual type には linear type が必要なので session type にまずそれを足して云々したらうまくいったらしい #PPL

漸進型付けに space-efficiency って概念があって、漸進型付けに引数多相を入れると space-efficiency が失われることが先行研究で分かってて、その原因の解明と、ある弱めた引数多相なら space-efficient になることが分かったという話 #PPL

量子計算用プログラミング言語の話　量子プログラミングだと変数を「忘れる」必要があるけど、それはやりたいことの主題じゃないので自動でやるシステム（auto uncomputation）があって、それに型を付けたくて、Rust のライフタイムを引数にとる新しい型を導入するとうまくいくという話 #PPL

ねむい……

定理自動証明の話　帰納法で証明できる定理（帰納的定理）について #PPL

項書き換えの話も分野がひとつできるくらいあるんだなあぐらいしか分からない #PPL

モデル検査の話は、そういうのがあるんだなあぐらいしか分からない #PPL

木から木への変換関数は出力が爆発しがちでいくらかなら静的検査できるよという話 #PPL

メソッドチェーンも静的検査したいね　先行研究だと LL だったけど LR にも拡張できたよという話 #PPL

あかん5時間睡眠は眠たい

構文解析機を「再構成」可能にしたという話　これ変更を重ねていくと、それはそれで維持管理が大変じゃない？ #PPL

あーーーーー

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

窓からの三河湾　でかい湾だ #明山荘 #PPL

@salmon14351 新幹線 N700a のことなら壁にのみ

@yamad もうネイティヴじゃん

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

朝食バイキングで「ライチだ、好きだけど最近食べてない」って食べたけどあんまり甘くなかった　時期か？　ライチの旬っていつ

このアカウントは、notestockで公開設定になっていません。

5時間しか寝れてない

2時ごろには寝れたかな

@tsukimikaze むむっ？

寝ようとしてるけど寝られん