る
るふぁ
@lpha_z
🎓/りばけはおわり/ltmpc/ノンリニア/まるきゅう(そつぎょう)/大ちゃん！
つるまい
Joined August 2012
766Following
961Followers
る
る
るふぁ@lpha_z · 12 h
はてなブログに投稿しました #はてなブログ Lean 4 で LZA の証明（その1） - よーる lpha-z.hatenablog.com/entry/2025/07/…
0
0
1
0
164
る
る
るふぁ@lpha_z · 22 h
ChatGPTから「個人的には（～だと思います。）」って言葉遣いが出てきてかなり驚いた ChatGPTって特にそういうこと言わない印象あったから 前は「知識をもとに候補は出すけれど選ぶのはそちら」という態度だったけど、決断もやってほしいということを強化学習で学んだのだろうか
0
0
0
0
145
る
る
る
る
る
る
る
る
る
る
る
る
る
るふぁ@lpha_z · Jul 23
文章以外（絵とか感じたこととか聞いたこととか文章の構造とか）をそのまま？理解するというの、なにかこつがあるんだろうけれど全然できない 文章をそのまま理解するというのもなんでできるようになったのかよくわからないし
0
0
0
0
120
る
るふぁ@lpha_z · Jul 23
アルゴリズムを伴わない定義だけにしておくほうが展開をそこで止めれて有用なことがあるのね、なるほど 展開したい場合は、decidable版とつなぐ定理を使えばいいと……
0
0
0
0
121
る
る
るふぁ@lpha_z · Jul 23
Xのコミュニティーノートに「〜に注意が必要です」みたいな妙に曖昧な言い回しが多いのは強化学習の結果なんだろうか 人間の集団の語彙の分布ってそんなに用意に変わるものなのかな？評価ポイントを貯める下積みでそういうのをたくさん見ることになるからなのかも
0
0
2
0
175