雑煮

虎屋の雑煮、炭水化物マシマシ。甘めの白味噌とお芋さんとお餅のデザート。お肉が欲しくなる味。大変お高い。

[雑煮 @hymathlogic]

書評〜 #はてなブログ
科学哲学関係の書評と考察 - 山元の徒然日和
https://t.co/YphejZuclR

[雑煮 @hymathlogic]

全然知らんかった。
GoogleがAndroid携帯のジャイロセンサーを地震計として利用して世界規模の緊急地震速報を構築してたんか〜

[Wismer mendoza @wismerM]

Nunca sabremos las cifras, pero la alerta de Android salvo miles de vidas, algo que muy pocos sabian que existía.

[雑煮 @hymathlogic]

外大Aに所属しながら外大Bの講座を受けるとか出来た方が良いのでは？

[雑煮 @hymathlogic]

東京外大の惨状みたいなのが流れて来たが言語文化や文学に限らず、マイナー分野は全国規模で大学際的にやってリモートでもした方がいい気もするけどどうなんだろ？

[もの(換気中) @monoxxxx]

新着　任意の正整数≥1は、互いに異なる2素数の積(それらも異なる)が分母の単位分数の有限和で表せるとするクソデカ結果　バトラー・エルデシュ・グラハムの3素数積の結果の超強化版
やばすぎだろこれ
Every natural number is a sum of distinct semiprime unit fractions
https://t.co/e04yhKRdH7

[雑煮 @hymathlogic]

一般論としてAI学習の前に鍛えておくべきスキルがある気がする。
殆どの場合でAI学習が短期的に習熟度を伸ばす最適行動になるのだけど、それだと抜け落ちる面が大きそう。
対策はその抜け落ちる部分をAI学習に入れ込むぐらいだが。
そもそも論で、どうしても伸ばしやすいスキルから伸ばしちゃうよね。

[雑煮 @hymathlogic]

将棋何も分からないけど、個人的に藤井竜王名人が他の同世代の強豪と比較して強い理由の一つがAIが普及する前に詰将棋を突き詰めてたことだと思ってて
詰将棋はAIもしくはAIを使った学習の苦手な所なので、そこを若いうちに鍛えられたのが大きい気がする。

[雑煮 @hymathlogic]

というか物質量概念とmolを排除しても理論上は現代化学は成立するよな。不便では有るだろうけど。

[雑煮 @hymathlogic]

化学クラスタでmolは個数かが議論されてるが
現代的には（特に現在の定義だと）
「molは個数と考えて問題はない」という事実と
「molは本来個数概念（原子説）に依らない」という歴史的経緯が対立してるな。
てか個数として扱ってはダメ派閥の人が歴史的経緯を無視して頓珍漢なこと言ってるのなんだ？

[雑煮 @hymathlogic]

xが収束先でないのはx-ε（εは正の無限小なら何でも）を考えると分かる。

[雑煮 @hymathlogic]

所でRの超冪（R^ω/μ）の元x:=[(0.9,0.99,0.999…)]は、0.9,0.99,0.99…の収束先では"ない"
ってのは重要（なのに言及されてない）。
x=lim0.99…9とは出来ない。
（そも超冪で可算列は本質的に定数で無いと収束しなかったと思うが、うろ憶え）

[雑煮 @hymathlogic]

dif_engine さんめっちゃバズってるじゃん。

[雑煮 @hymathlogic]

春？春戻って来た？

[雑煮 @hymathlogic]

評価項目が何かに関わらず、そのポストの多くは（学部生にしろ院生にしろ）教育に関する需要で数が決まる様に思われる。
教育に人間の学者が必要なくなったらどうなるだろうか？
（数学の独学の難しさの多くをAIが解消してくれる可能性は十分有る。）

[雑煮 @hymathlogic]

所でITエンジニアは明確な需要によって枠が決まってるのでAIに代替されることで枠が減ってるが
AIが数学の問題を解く（本質的な発展には貢献しないかもしれないが人間の数学者の仕事の多くも同じ意味で本質的な発展には貢献してない）事によって数学者の需要が奪われるのかは謎だな。

[雑煮 @hymathlogic]

やっぱサイバーセキュリティとか切実な問題は強いんやろな。
広い意味でBtBじゃないと金にはならんよな〜。

[今井翔太 / Shota Imai@えるエル @ImAI_Eruel]

最先端のモデルを使った生成AI関連の大規模事業で営業黒字が出ることがあるのかと、割と本気で驚いています。
とてつもない計算資源をぶん回しながらフロンティアモデルの研究開発と一般向け事業をやるモデルで営業黒字が出るのは多分初の事例で、いわゆる「AIバブル」懸念も和らぎそう。

[雑煮 @hymathlogic]

国家による管理制度に組み込まれることを権利保証だと考えるの保守主義が過ぎるよな。
恋愛するのにも一々登録が必要になったらより恋愛の権利が保証されるとか思うのかな？

[雑煮 @hymathlogic]

そもそも例えば同性間の同居が断られる時に「同性愛」の問題に問題を矮小化されるのも気に食わない。
（同居権に限らないが）

[雑煮 @hymathlogic]

そう言えば権利保証が事実婚で不十分なら（実際に不十分な訳だが）異性間の事実婚に於いても不十分だと言うことは認識されてるのだろうか？
そして事実婚で十分になれば、残るのは公権力への登録制度になると言うことは認識されているのかな？