Ryusei
@mandel59
Followers
3K
Following
69K
Media
7K
Statuses
340K
日記を書いたよ。 https://t.co/yd9hPvV0zh 知財検討会にまで及ぶAI規制の混迷──処遇AIと生成AIを混ぜると、全部壊れる - 高木浩光＠自宅の日記（2025年12月16日） 「関係者の皆さんには読んでほしい。方向付けさえすれば自然にここまで言われてしまうという事態の深刻さを受け止めてほしい。」
1
330
590
ミドルウェアでBotにはディレイを掛けるようにしてみたけど、どうなのかな。Fluid computeを有効にしている時点でどう足掻いたってCPU使用時間は増えるしコスト増えてるじゃんってことなのかな…
0
0
0
「あなたは t_wada さんです」とか「t_wada さんだったらどうすると思いますか？」などのプロンプトが記述されていそうなサブエージェントに対して「t-wada-engineer 最後までやっておいて」のような依頼が行われているところを偶然目撃してしまい「俺、働いているな……」という気持ちになった。
1
188
1K
＞取り扱う漢字は一般的なパソコンやスマートフォン等に標準搭載される次の仕様の漢字に変更します。 そこでなんでUnicodeに提案するとか標準搭載の方をなんとかするように働き開けてくれへんのや、という思いはある
2023年11月10日の発出っぽいんですけど、このページのどこにも日付が書かれていないのは微妙くないですか？ @GSI_chiriin 【予告】地名情報で取り扱う漢字の仕様を変更します。 | 国土地理院 https://t.co/HpK6zHaHYn
1
10
41
じゃあどうすれば良いのかとは簡単に言えないのですが、私は最近、「本来あるべき人間の自然状態に立ち返れ」と思い始めている。それは具体的に言えば、火を囲み、鍋を煮て、共に食べることで承認し合え、という話ですが。
全世界、とりわけ先進国で若者のメンタルヘルス問題が深刻化しているのは、現代の根本的な時代状況がニヒリズムの底が抜けた時代に突入しつつあることを端的に表していると思います。孤独・孤立も同様の問題ですね。途上国でも都市化など近代的発展に伴う社会変動が大きく、同様の事態が見られます。
5
55
157
MacかWindowsかLinuxか論争が起きた時には、MacもWindowsもLinuxも全部買えばいいじゃろという富豪的解決策を提案しています
1
0
1
斃死
すしネタにも異変、陸奥湾のホタテへい死 青森＜北から南から＞（河北新報） - Yahoo!ニュース
0
0
0
これまでもCoqやAgdaなど様々な証明支援系があったのに突然Leanだけ話題になるのなんでやという気持ちはある（計算機科学と接点のない数学者集団に最初にウケたのがLeanだからだとは思うけれども）： AIは数学者になれるか 数学界に衝撃、証明検証ソフトLean登場：朝日新聞
asahi.com
■《前編》AIは数学者になれるか AIが数学の定理を理解し、証明し、自分で正しさをチェックする――。そんな時代が近づいている。これまで人間が担っていたひらめきや証明、検証にAIなどのコンピューターが挑…
1
21
109