This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

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

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

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

あしたやろう

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

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

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

This account is not set to public on notestock.

ふつくひい

This account is not set to public on notestock.

SSD 買い足そうかな

This account is not set to public on notestock.

This account is not set to public on notestock.

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

This account is not set to public on notestock.

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

This account is not set to public on notestock.

This account is not set to public on notestock.

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

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

さめてきた

This account is not set to public on notestock.

This account is not set to public on 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 の ~ って何だ

This account is not set to public on 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 を追っていこう

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

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

This account is not set to public on notestock.

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

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

Quest 3 気になっとる

This account is not set to public on notestock.

笑い死んだ

This account is not set to public on notestock.

This account is not set to public on notestock.

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

This account is not set to public on notestock.

大気前線通過気温低下

兵庫県は神戸と姫路

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

This account is not set to public on notestock.

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