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

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

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

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

Huggingface 別にモデル以外の物置いてもいいのか

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

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

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

「いなみ野のなぐはしきみかしほのメッセージロマンメロン」何これ

あしたやろう

スワップを別仮想ストレージにしてセットアップすべきだったか

仮想ストレージを拡張したいけどスワップパーティションをメインのパーティションの後に置いてしまっているので拡張しただけだとメインのパーティションを広げられず

とりあえず余してる HDD 使って問題ないか見るかー

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

ふつくひい

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

SSD 買い足そうかな

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

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

近所の温泉が閉店してた……　回数券残ってるよ　資金決済法で返金される？

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

初めてひやしあめを飲んだ

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

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

ハンスト（ハンドストラップ）

👀 『n月刊ラムダノート』Vol.4 No.2（2024）発行のお知らせ – 技術書出版と販売のラムダノート https://www.lambdanote.com/blogs/news/n-vol-4-no-2-2024

さめてきた

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

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

はちゃめちゃねむたろう

pt って関数がしこんであってログが出る？

match_type で r の束縛も作られてそうだが…… https://github.com/austral/austral/blob/1fb546da9bbc63c91bd8ca0a7bf8d0cf9f0dbf54/lib/TypeMatch.ml#L122

その処理は match_type_with_value_ctx でこれは match_type_with_value にほとんどの処理を委譲

仮引数・実引数からひとつずつとり match_parameter で bindings を作る

check_argument_list は仮実引数の長さ検査したあとは check_argument_list' へ

OCaml の ~ って何だ

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

params と arguments はいたって普通そう。ctx と check_argument_list 見てみる

check_bindings typarams bindings''; の引数を追っていくと typarams は augment_function_call の引数そのままで bindings'' は bindings と bindings'' のマージ。bindings' は handle_return_type_polymorphism の適用の結果で、今回は返り値からの型束縛は関係なさそう。bindings は
```ocaml
(* Check the list of params against the list of arguments *)
let bindings = check_argument_list ctx (original_name name) params arguments in
```

check_bindings（中の check）から起きてて、それは（今回は） augment_function_call から呼ばれている

No binding for this parameter: R を追っていこう

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

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

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

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

逆に Windows の make に Powershell を使わせられない……

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

日本の同人誌作家が海外で無修正エロ同人誌を刊行し、ファンが日本から買いに行き鑑賞し、入国前にすべて捨てるイベントやるか！

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

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

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

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

Quest 3 気になっとる

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

笑い死んだ

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

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

@1inguini どっちのスーパーカップだろう

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

大気前線通過気温低下

兵庫県は神戸と姫路

都内ナンバー地名細分化されててどれがどうとか覚えてられない

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

今日はオタクの集会してきた