このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
ポスター発表を聞いた後、学生が名刺を渡そうとしてたがこっちが個人参加だと明かしたら名刺が引っ込んだんだが～？ 就活か～？就活なのか～？ まあ名刺渡すのはそうかも
あるモナドを導入すると Linear Haskell 上で Rust のような borrow ができるようになるらしい（という話をポスター発表で聞いた 実装にはどうも型レベル Set が必要になりそう #PPL
どうも限定継続ありで型を付けるには「トレイル」というものが出てくるみたい（ということしか分からん #PPL
ひとつのスタックでコルーチンやるって話だけど、その使い方はヒープと何が違うのか？ うーん？ #PPL
shift-reset 限定継続だけじゃなくて他の限定継続演算子も、という話しだった
高校は革靴指定で、しかもその革靴が巻き爪になりやすくて困ってた
このアカウントは、notestockで公開設定になっていません。
“「悠仁さまは、ラノベを読むだけでなく、執筆もされると聞きました。お茶の水女子大学附属中学校に通われていたころ、ご自分のノートに自作のラノベをしたためていたそう。その作品を教室で同級生に勝手に音読されてしまい、困惑されたことがあったのだとか」”
秋篠宮家のご長男・悠仁さま、成年会見を立派に終え私生活では“ラノベ”に熱中、進学先の筑波大学にはサークルも（3ページ目） | 週刊女性PRIME - https://www.jprime.jp/articles/-/35800?page=3
OCaml に限定継続や代数的効果入ったけど、限定継続以外の継続も ML に入れたいよ、しかも最適化もかかってほしい、だから基礎となる部分を作ったみたいな話 #PPL
USB C-C でパソコンとスマホを接続してると、目を離してるすきにスマホがパソコンに給電しはじめて危険
後方参照がある正規表現はマッチに O(n⁴m) かかるが（n は文字列の長さ、m は正規表現の長さ）、正規表現を e₀(e₁)e₂\1e₃ の形に絞ると O(n²m²) に減らせるらしい 難しかった #PPL
DoS 攻撃されるから指数時間かかる正規表現処理はしたくないけど、先読み後読み付きで部分文字列マッチングもしたいから速くしたという話、事前準備すれば線形（？）でいけるらしい #PPL
正規表現での置換するときに、書いた正規表現が間違ってても、いくつか例を与えると正しい正規表現を生成してくれるプログラムほえー #PPL
変数と先読みのある正規表現だと、有向グラフからパスを探せるんだなあ #PPL
ステッパーの評価戦略と小ステップ評価は別なんだなあ（お茶大 浅井先生の発表） #PPL
foo.js を「フーてんジェーエス」って読む人だ 初めて聞いたかも
まあタッチする機械が1本立ってるだけのワンマンエリアもあるしな
無人駅で、改札内に IC カードチャージ機なくてインターホンで問い合わせたら「改札は自由に出入りできるので一旦外に出て券売機でチャージして改札機にタッチする」よう言われた 性善説すぎ
JR 東海、PiTaPa ほポストペイ使えないよね？ チャージせんとあかんか
そもそも実装が work in progress だけどドキュメント CI 整備してみた https://okdcc.readthedocs.io/
先に出発する快速と15分後に出発する新快速、どこまで快速が早いんだ？
このアカウントは、notestockで公開設定になっていません。
