decidableですっていう記述みると要するに現実的な時間で終わらんってことすか？ってなってしまう病
December 22, 2025 at 11:38 AM
decidableですっていう記述みると要するに現実的な時間で終わらんってことすか？ってなってしまう病
これマジで面白いんだけど単体での布教に不向きすぎる
(事前に仁義なき戦いを全部見る必要があるし、仁義なき戦いをすでに全部見てるタイプの人はこれもすでに見てる)
(事前に仁義なき戦いを全部見る必要があるし、仁義なき戦いをすでに全部見てるタイプの人はこれもすでに見てる)
December 21, 2025 at 12:52 PM
これマジで面白いんだけど単体での布教に不向きすぎる
(事前に仁義なき戦いを全部見る必要があるし、仁義なき戦いをすでに全部見てるタイプの人はこれもすでに見てる)
(事前に仁義なき戦いを全部見る必要があるし、仁義なき戦いをすでに全部見てるタイプの人はこれもすでに見てる)
Reposted by わ
まさかの年の瀬に『県警対組織暴力』無料配信！！！！！？？？？
県警対組織暴力[公式]
◆ご愛顧にお応えして、人気作品を期間限定リバイバル配信！！◆
＼東映オンデマンド（ https://amzn.to/2NixlV2 ）では名作映画とドラマを見放題配信中／
※ご視聴にはプライム会費のほか、1ヵ月499円（税込）の会員登録が必要です。
詳しくは上記URLをご覧ください。
隔週金曜日21時からは東映制作の映画を配信！
12/19（金）からは「県警対組織暴力」
【配信期間】2025/12/19（金）21:00～2026/01/02（金）21:00
公開日：1975年4月26日
本編尺：101分
色：カラー
【解説】
大ヒット作「仁義なき戦い」シリーズの実録トリオ、主演・菅原
www.youtube.com
December 19, 2025 at 2:24 PM
まさかの年の瀬に『県警対組織暴力』無料配信！！！！！？？？？
mybest、かなり誠実に価値あることを頑張ってるはずなのに全然参考にならないのはなぜ
December 20, 2025 at 10:31 PM
mybest、かなり誠実に価値あることを頑張ってるはずなのに全然参考にならないのはなぜ
Geminiのコーディングがスコア高いのは完全にこれ
LLMの登場でコーディングが頭使う作業じゃないことがバレてしまった
December 19, 2025 at 10:55 PM
Geminiのコーディングがスコア高いのは完全にこれ
geminiは流暢な日本語がどんどん出てくるスロットマシンって感じでchatgptは日本語がたどたどしい賢い人間って感じ
December 19, 2025 at 10:29 PM
geminiは流暢な日本語がどんどん出てくるスロットマシンって感じでchatgptは日本語がたどたどしい賢い人間って感じ
ChatGPT Autoにするとなんやこいつって感じになる
December 16, 2025 at 1:31 AM
ChatGPT Autoにするとなんやこいつって感じになる
フリクリ、エヴァQだし、ルル子、劇スだし、昨日に向かって撃てなんだよな
December 13, 2025 at 2:36 PM
フリクリ、エヴァQだし、ルル子、劇スだし、昨日に向かって撃てなんだよな
鬼滅はあまりに作品が誠実すぎるのかもしれない
ノリと勢いと様式美で気持ちよくなってまあ細かいとこはいっかーってなる作品が大好きなので対極にある気がする
ノリと勢いと様式美で気持ちよくなってまあ細かいとこはいっかーってなる作品が大好きなので対極にある気がする
December 13, 2025 at 2:26 PM
鬼滅はあまりに作品が誠実すぎるのかもしれない
ノリと勢いと様式美で気持ちよくなってまあ細かいとこはいっかーってなる作品が大好きなので対極にある気がする
ノリと勢いと様式美で気持ちよくなってまあ細かいとこはいっかーってなる作品が大好きなので対極にある気がする
何も考えずシンプルに面白いって言える漫画という意味ではシャーマンキングが一番好き
他の漫画は面白さを言語化する時にどうしてもほんの少し自分を賢く見せようとしてしまう
他の漫画は面白さを言語化する時にどうしてもほんの少し自分を賢く見せようとしてしまう
December 13, 2025 at 2:13 PM
何も考えずシンプルに面白いって言える漫画という意味ではシャーマンキングが一番好き
他の漫画は面白さを言語化する時にどうしてもほんの少し自分を賢く見せようとしてしまう
他の漫画は面白さを言語化する時にどうしてもほんの少し自分を賢く見せようとしてしまう
鬼滅の刃、昔読んだ時面白いのか面白くないのかよく分からないなと思ってたけど、改めて今読み返すと相変わらずどんどん引き込まれて読み進めてしまうにも関わらず面白さを全然上手く言語化できなくて、言語化できないから自分が面白いと思ってるのかどうかやっぱりよくわからないなとなった
December 13, 2025 at 2:08 PM
鬼滅の刃、昔読んだ時面白いのか面白くないのかよく分からないなと思ってたけど、改めて今読み返すと相変わらずどんどん引き込まれて読み進めてしまうにも関わらず面白さを全然上手く言語化できなくて、言語化できないから自分が面白いと思ってるのかどうかやっぱりよくわからないなとなった
ChatGPT のおかげでどんどん健康になる（しょうもなすぎて人に話すまでもなかった体の違和感についてダラダラ話せるせいで健康と向き合う時間が増えたため）
December 12, 2025 at 6:04 AM
ChatGPT のおかげでどんどん健康になる（しょうもなすぎて人に話すまでもなかった体の違和感についてダラダラ話せるせいで健康と向き合う時間が増えたため）
一日中マリオ64をやるやつをやりたい
もはや至上の贅沢
もはや至上の贅沢
December 11, 2025 at 1:12 PM
一日中マリオ64をやるやつをやりたい
もはや至上の贅沢
もはや至上の贅沢
ChatGPT がセパレーションロジックのことをずっとセパロジって呼んでてなんか腹立ってきたな
December 10, 2025 at 10:55 PM
ChatGPT がセパレーションロジックのことをずっとセパロジって呼んでてなんか腹立ってきたな
Control Panel for Twitterすごい。全てが静かになった…。てか今までうるさかったんや…。これが正しい状態やわ。コンサータの感想で似たような表現聞くけどこんな感覚なんかな。
December 10, 2025 at 2:31 PM
Control Panel for Twitterすごい。全てが静かになった…。てか今までうるさかったんや…。これが正しい状態やわ。コンサータの感想で似たような表現聞くけどこんな感覚なんかな。
いまのEテレ、低学年向けにコミュニケーションとかこころのセルフコントロールとかのやり方をスキルとして算数の授業みたいに教えててすごい
昔の人形劇みて道徳を考えてみましょうみたいな「例だけ見せるから自分で汎化してね」じゃなくて最初から理論を叩き込んでる
昔の人形劇みて道徳を考えてみましょうみたいな「例だけ見せるから自分で汎化してね」じゃなくて最初から理論を叩き込んでる
December 8, 2025 at 12:21 AM
いまのEテレ、低学年向けにコミュニケーションとかこころのセルフコントロールとかのやり方をスキルとして算数の授業みたいに教えててすごい
昔の人形劇みて道徳を考えてみましょうみたいな「例だけ見せるから自分で汎化してね」じゃなくて最初から理論を叩き込んでる
昔の人形劇みて道徳を考えてみましょうみたいな「例だけ見せるから自分で汎化してね」じゃなくて最初から理論を叩き込んでる
ゴルフ中継でアナウンサーが3DGSって言ってて聞き間違いかな？と思ったらほんとに3DGSのことで3DGSの解説までしてた
このレベルでバズワード化してたのか…
このレベルでバズワード化してたのか…
December 7, 2025 at 7:23 AM
ゴルフ中継でアナウンサーが3DGSって言ってて聞き間違いかな？と思ったらほんとに3DGSのことで3DGSの解説までしてた
このレベルでバズワード化してたのか…
このレベルでバズワード化してたのか…
個人が直面する課題はもうChatGPTでいいけど、人間が複数であつまって一つのことをやろうとした時に発生する課題に対してAIは無力なので、ほとんどの問題に対してAIは無力ということになる
December 6, 2025 at 2:45 PM
個人が直面する課題はもうChatGPTでいいけど、人間が複数であつまって一つのことをやろうとした時に発生する課題に対してAIは無力なので、ほとんどの問題に対してAIは無力ということになる
ネタバレ厳禁！みたいな文化あんまり好きじゃなくて、そもそも展開を知っててもなお見返したくなるような鑑賞体験の方に価値を見出していて、そういう「プロットも大事だが表現がもっと大事」っていう価値観で自分の好みが全部説明できる気がする
December 6, 2025 at 2:34 PM
ネタバレ厳禁！みたいな文化あんまり好きじゃなくて、そもそも展開を知っててもなお見返したくなるような鑑賞体験の方に価値を見出していて、そういう「プロットも大事だが表現がもっと大事」っていう価値観で自分の好みが全部説明できる気がする
ある命題に対してその証明がどのように行われたかは実用上はかなりどうでもいい
証明技法自体に価値があるならAIに「この命題はこんな感じで証明できたので覚えといて」っていえば良い(その程度で足りる)
証明技法自体に価値があるならAIに「この命題はこんな感じで証明できたので覚えといて」っていえば良い(その程度で足りる)
December 6, 2025 at 2:02 PM
ある命題に対してその証明がどのように行われたかは実用上はかなりどうでもいい
証明技法自体に価値があるならAIに「この命題はこんな感じで証明できたので覚えといて」っていえば良い(その程度で足りる)
証明技法自体に価値があるならAIに「この命題はこんな感じで証明できたので覚えといて」っていえば良い(その程度で足りる)
形式的証明はAI codingの技術との相性がかなり良くて、
- とにかく大量の記述が必要
- 大部分が類似した記述だが共通部品に括り出せる程には似ていない
- メンテナンス性はほとんど重視されない (証明は書いたっきり使い捨てが前提)
なので、ソフトウェアエンジニアリングと違ってこちらの方が完全自動化が近いと思う
- とにかく大量の記述が必要
- 大部分が類似した記述だが共通部品に括り出せる程には似ていない
- メンテナンス性はほとんど重視されない (証明は書いたっきり使い捨てが前提)
なので、ソフトウェアエンジニアリングと違ってこちらの方が完全自動化が近いと思う
December 6, 2025 at 1:55 PM
形式的証明はAI codingの技術との相性がかなり良くて、
- とにかく大量の記述が必要
- 大部分が類似した記述だが共通部品に括り出せる程には似ていない
- メンテナンス性はほとんど重視されない (証明は書いたっきり使い捨てが前提)
なので、ソフトウェアエンジニアリングと違ってこちらの方が完全自動化が近いと思う
- とにかく大量の記述が必要
- 大部分が類似した記述だが共通部品に括り出せる程には似ていない
- メンテナンス性はほとんど重視されない (証明は書いたっきり使い捨てが前提)
なので、ソフトウェアエンジニアリングと違ってこちらの方が完全自動化が近いと思う
LLMの良さは「チャットで全てを操作する」っていう新しいUIが構築できる点であって、頭を良くして専門家の代替として使う部分はそんなに期待できないと思ってるが、なんか世の中は後者に賭けて勝手に期待して勝手に爆死しそうな予感
December 5, 2025 at 10:49 PM
LLMの良さは「チャットで全てを操作する」っていう新しいUIが構築できる点であって、頭を良くして専門家の代替として使う部分はそんなに期待できないと思ってるが、なんか世の中は後者に賭けて勝手に期待して勝手に爆死しそうな予感
ちょっとしたagentが欲しくなって作ってみたけど自分で組むよりもcodex cliを無理やり転用するやり方が結局一番楽
November 29, 2025 at 10:49 PM
ちょっとしたagentが欲しくなって作ってみたけど自分で組むよりもcodex cliを無理やり転用するやり方が結局一番楽
iPhoneのショートカットでワンタップでChatGPTと会話が始まるボタン作ったら全部これで良くなった
November 17, 2025 at 2:01 PM
iPhoneのショートカットでワンタップでChatGPTと会話が始まるボタン作ったら全部これで良くなった