初音ミクをフィーチャーした巨大関数『みくみく順序数(Ordinal number-like functions featuring Hatsune Miku)』の研究者とされています。ボカロリスナーでしたが引退しました。
警備員もAIには出来ないっぽい。AI警備員は人権がないので躊躇なく悪人に破壊される。
愛媛なのに風吹いてるってやばいですね。
あと、キャバ嬢とかもAIには無理。メイドカフェはいけそう。
肉体労働系はAIにはまだ無理っぽい。高性能なアンドロイドが必要なので。
将棋も囲碁もAIに勝てなくなったので、これからは数学で勝負するといいかも。AIと人間と、どちら先にリーマン予想を証明するか。
フェルマーは証明したと書いてたけれど、ワイルズはフェルマーには不可能だと断言してた。モジュラー形式も楕円曲線もまだ存在しない時代。AIはそういう未知の数学を構築して使えるのか?
例えば今の最高水準のAIに「フェルマーの最終定理」の証明を与えずに、またフェルマーが定理をみつけた時代レベルの数学だけを学習させて、証明できるのか?
素人的には、出来そうな気がする。
巨大数クラスタでは、例えば「未知の巨大な可算順序数を定義する」ようなAIはまだ無理みたいな論調を見たことがあるけど、どうなんだろう。
AIに出来ない仕事は「責任を取る仕事」だと東浩紀さんが云ってた。なぜなら人は人のクビが飛ばないと納得しないから。
風強くなってきた(愛媛)
低スぺPCだとMMDのモーションの確認のときに、19fpsくらいになったりして「それなりのモーション」に思えるのだけれど、aviに書きだして30fpsで見ると、下手なのがわかるの嫌い。
私は30fps以上は好きじゃない。
横浜あたりに親戚がいる。
千葉県は中心の右側だね。風速に進行速度が加算される。
松山でも前回の台風くらい吹いてるんだよなあ。
かわかわのかわのすこすこのすこ
なんか松山も風吹いてきた。強風圏。
台風19号、基本的には中心部から進行方向の左側に日本列島が位置するので、最悪の状況ではなさそうにも思う。
コロッケ買いたくなってきた...
ボーカロイド好きが集うMastodonインスタンス、通称「ボカロ丼(ボカロドン)」です。 ** This server is for "Vocaloid" lovers. If you are not, please select other server. **