|
|
|
|
|
||
|
||
2024-09-07
置換公理に出てくる「関数」とは
雑記／備忘
公理的集合論の置換公理を「関数の像は集合である」と説明したり理解したりする人がいます。まー、そうなんですけど、ここに出てくる「関数」を普通の意味で理解すると、まったくのトンチンカンなことになります。置換公理に出てくる「関数」は、普通の関数…
2024-09-06
カートメル／ヴォエヴォドスキー／パルムグレンの型理論
雑記／備忘
型理
赤い灯籠が並ぶ。階段はきついけど、雰囲気がいい！
日記_2024.8.29 鞍馬と貴船
29日は鞍馬と貴船に行ってきました。こんな天気でバイクは無理、でも引きこもるのも嫌なので前々から行きたかった鞍馬と貴船に行くことにしました。ただ、いつ大雨が降っても全くおかしくないので天気がヤバそうなら帰ることにします。普通に日帰りできる距離ですから…
かころぐ
日記
スーパーで季節の移り変わりを感じる。「つが
2024-08-15
プロンプト研究：画風（pony系）
AI StableDiffusion
前回に引き続き、画風プロンプトの効きを検証します。
今回のベースモデルは「ponyDiffusionV6XL」です。もとはマイリトルポニーのNSFW画像を作ることを目標に開発されたモデルデータらしいのですが、NSFW画像を出力する性能の高さから人気が爆発。現在では、SDXLのモデルデータのなかではAni
ヨハネスブルグ観光
この広告は、90日以上更新していないブログに表示しています。
VimのYAMLのシンタックスハイライトを改善してGitHub Actionsのワークフローファイルでハイライトが壊れにくくしました
例えば、"1 ${2 + 3} 4"みたいな文字列補間は、隣接関係だけでは表現できません。
VimのYAMLのシンタックスハイライトを改善してGitHub Actionsのワークフローファイルでハイライトが壊れにくくしました
この広告は、90日以上更新していないブログに表示しています。
Another 朝顔日記
読者になる
Bill閣下の日記
読者になる
akiyan.com 管理人メモ
読者になる
latest log
読者になる
hogehoge @teramako
読者になる
日記
読者になる
mizchi log
読者になる
イ(略)裏
読者になる