  |
はてなキーワード: 機械的とは
正しいものならコンピューターで証明できるが短時間で計算が終わる保証はない。また、正しくないものであれば計算が永遠に終わらないことがある
あと、どんな数学的主張も記号論理学でいう記号列に翻訳できるものなら(逆にいえば翻訳できないものは数学の問題としての資格はない)コンピュータで機械的に証明が正しいか確認できるっていうけど
望月がトンデモなのじゃなくて、数学の定義は原理的に厳密であり得ないという可能性も否定されないよね。
あと、どんな数学的主張も記号論理学でいう記号列に翻訳できるものなら(逆にいえば翻訳できないものは数学の問題としての資格はない)コンピュータで機械的に証明が正しいか確認できるっていうけど、
それならなぜＡＢＣ予想の証明は記号列に直さないんだ？それが完了すりゃ紛糾の余地なく白黒はっきりつくはずなのにね？やってるけど難しいからまだできてないってだけ？
そもそも証明論文から記号列に直した「つもりになってる」ある記号列を作ったとして、それがコンピューターが正しいと言った時、記号列が正しいことにしかならなくないか？
つまり「つもり」ではなく、論文という多少なりとも自然言語の部分をはらむ文と、記号列が厳密の翻訳元と先として対応していることを、この自然言語が原理的に介在してしまっている「対応してるか」という問題を解けるのかということ。
OpenAIがsoraでテキストから動画生成し話題になった。
モデルがオープンになっているモデルの方が、クローズドなモデルよりも進化する、という意見があったが、差がついたままだ。
何が原因か。
テクニカルペーパー(https://openai.com/research/video-generation-models-as-world-simulators)を見る限り、
予想の範囲内のことしか書かれてない。拡散モデルで画像が出来た時点から、多くの人が想像出来る範囲だろう。
もちろん全部が書かれているわけではないだろうが。
どこで差がついたままなのか。
手がかけない問題に対して、親指、人差し指などを細かく指定すれば解決はするのだろう。
StableDiffusionの学習だとKohya_ssが有名だが、good_hand, bad_handみたいな一言でまとめられているのではないだろうか。
画像をどれだけ言語化できるかで、人だとそれほど詳細な言語化が出来ないことと、
StableDiffusioinだと、WD1.4taggerかBLIPの性能に引きずられているのではないか。
BLIPの代わりにGPTを使ってアノテーションをしている人も居るのだろうが、性能差があることから、
もしかするとOpenAIは角度など数値を機械的に測定したものも学習させているのかもしれない。
GPTは人に理解しにくい所は出力しないので、そこが差になっているのではないだろうか。
要はアノテーションツールがオープンなAIに足りてないということだ。
オープンなAIでは、学習時のデータがどれだけ良いか、データ量、ラーニングパラメータなどは議論されたが、アノテーションツールは議論されず、そこが差になったのではないか。
2つ目は、命令時の曖昧さを、モデル側でどれだけ拡張できるかではないだろうか。
学習時に詳細なアノテーションをしても、プロンプトを書く時は短縮していたり、意識せず省いていたりする。
例えば、「日本人の女性」とプロンプトを書いたら、現代の日本人女性を想像するはずで、
海外公的機関に保存された戦後の湿板写真時代で化粧をしていない日本人女性を意図してないはずだ。
そういった曖昧なプロンプトを意図を汲み取ってプロンプトを拡張して、推論モデルに食わせることが出来るか、
そこが差になったのではないだろうか。
２０２３年８月１０日に５歳の息子に誘われて始めたポケモンGO
ようやくPL４０に到達した。
最強トレーナーの皆様からすればまだまだとお叱りを受けるでしょうが
オートキャッチ無し、ほぼ無課金（ウソ）でここまで来たことをご報告致します。的な
本題はそれではない
孵化アクセスはギフトの枠が増える、そしてギフトはPL上げに効率が良いとの判断
現在フレンド数は大親友到達を除き１００人前後で回している、大親友到達は１２人
フレンドはレイド招待で増やしている、あっちから来ることもありほぼ承認
フレンドレベルを上げるには双方どちらかがギフトを開封しなきゃならないよね、
（レイド参加すると偶発的に既フレンドと重なり親密度進行することもあるが例外として無視する）
で、悩んでいるのはどっちが開けるの問題
フレンドリストではどちらかが開封済みなら水色の枠で判別できる
俺の基本運用は、毎日０時を過ぎたタイミングで届いているギフトを全部開ける
稀に、こちらで開封済みで親密度進行しているのにあちらでも開封する人がいるが
で、だ、結局フレンドの状況や運用は人によって千差万別なわけだ
つまりフレンドをほとんど登録していない、積極的に使って無い人も大勢いるだろう
そういう人は開封枠なんて気にせずにギフトが届いていたら機械的に開けているはずだ
で、機械的にお返し
ではでは、相手方をプロファイリングして、こいつは送る一方で良かろう、
みたいな判別を緻密にすればギフトの運用効率はさらに上がるんじゃないか
ポケモンGOからデータを抜いてExcelで管理できれば自動化と可視化できるのだけど、それに必要なAPIは公開はされてない
フレンドリストの画像からテキスト化してデータ化、これはさすがに手間もかかるし技術的制約も大きい。
どーすりゃいいの？
さすがにこの人数は覚えられない
なお、大親友到達のタイミングはしあわせタマゴを考慮して相手様に委ねている
俺はガチ勢ではないのでどうぞそちらでお楽しみくださいです
とはいえ、こいつ分かってねぇ奴判定してる人はもったいないのでこちらで使わせて貰っている。
この辺のノウハウや作法はググれば先人の知見にたどり着くのだろうが
俺はあえてググらない
だからここで聞く
みんなどうしてる？
劇場版ガンダムSEEDから思う「今のアニメの作画」※ネタバレ無し
ガンダムSEEDは、DESTINY終盤が放送されている時期に友人から勧められてハマった。私は当時小学生。人生で初めて買ったCDは玉置成実の『Reason』だった。
…こんな書き出しだが、「ガンダムSEEDシリーズは私の世代にとって革新的で思入れが強くて〜」といった話ではなく、『機動戦士ガンダムSEED FREEDOM』を見て感じた「近年のアニメの作画」に対する率直な思いについてまとめたもので、作品評価は含まない。
できれば拡散されたい。
人の意見が聞きたい。
劇場版SEEDの情報が解禁されるにつれ、SPOT映像も順々に公開された。
そのうちのひとつ、海辺で語らうキラとラスクのシーンで、キャラクターの動き・表情が機械的で実に不気味だと感じた。特にラクスが顕著だった。人が手で描いたはずなのに、瞬きなどはまるで3Dモデルに見える。例えるならVtuberのモーションに近い。
結論から言うと、劇場版SEEDは全編をとおしてほぼそのような絵でできていた。
昨今のデジタル作画特有の「完璧に均一で色に溶け込むほどの極細な線」が、画面内をなめらかに動き続ける。
メカ類は基本的に3Dなので、ピタリと止まることなく常に画面内を揺蕩っていた印象だ。
正直行って、絵（？）が動き過ぎだと感じた。
やたらに動くだけでその動作に意味を伴わないため、少し酔うほどだった。
これは果たして、作品の演出として本当に必要な手間なのだろうか？とつい考えてしまった。
ただし「SEEDシリーズの作画」に関しては、テレビシリーズの頃よりオタク達からよく指摘を受けていた。
週ごとに絵柄が変わったり、バンクを多用して展開上違和感のある映像になったり…（ムウのヘルメットの話ではない）。
これらを今の技術で改善し、あの頃からのファンへ自信を持って作品を発表することも、製作陣の課題のひとつだったのだろうと想像している。
ネットに触れていれば「ヌルヌル動く作画」といった表現はよく目にするだろう。昨今の制作サイドにおける流行りの表現方法であり、今の視聴者層に響く華のある映像なのだろう。
ただ、劇場版SEEDはいわば「ニュルニュル動く作画」で、私にその手の専門知識はないが、全ての絵に凄まじいコマ数を詰め込んだ映像なのだろうと思わされた。
おそらく手で描いていない部分もある。きっと今の技術を使えばそれもできてしまうのだろう。
少し大袈裟に言えば、3Dロボット・デジタル効果・ニュルニュルと動くキャラクターの映像が流れる中で、たまに手描きっぽく思える絵が混じって目立つ感じだ。
私が幼少期に見たデジモンやゾイドのような、手描きの絵の中にゴリゴリの3Dが混ざっていた時代からは見事に逆転したような印象を受ける。
芸術分野のことばに「不気味の谷」というものがある。簡単にいうと「決して3次元ではないが2次元の域は超えつつあるリアルな創造物」のことで、例えばAI生成の人物画像に対して抱く感情のことだ。
「ヌルヌル作画」を超えつつある昨今のアニメ映像…薄給と聞くアニメーターにとって本当に必要な手間なのか？手描き丸出しのアニメはもう古いのか？それとももうできないのか？それは技術・人員・時間、どれが原因か？
今日は病院へ行きました。お注射です。お注射をしてしばらくは精神があまり安定しないようです。被害妄想を持ったりしてしまいます。
精神というのは、変動を検出すると不快感を持つような気がします。鬱の時も一定の心持ちであればそれなりに安定しますが、いきなり躁になったりすると錯乱するのかもしれません。
そういえば、私はインターネット上に残した自分の黒歴史の削除を試みました。
統合失調症＋自分の名前で検索すると、誰かが勝手に私のYoutube動画（躁状態のときのもの）の音声をテキスト化したものが置いてありましたが、どうやらそのサイトは自然言語のアノテーションのサイトらしく、編集は誰でも行えるようでした。そしてその情報に「著作権侵害です」とラベルをつけて削除してきました。
そうそう、あと黒歴史ブログも残っていました。精神を錯乱して浮世離れしていた時のブログですが、「フロントカメラが不細工でバックカメラがイケメンなのは、介入する観察者が異なるからだ！」みたいな意味不明なことを書き、セルフィーまで載せていたのです。
このブログはまだ削除できていません。というのも、Googleアカウントのパスワードを紛失したからです。
Twitterにもいくつか精神錯乱時のアカウントが残っているのですが、それらも2段階認証を設定しており、ログインできなくなっているのです。
まあ、黒歴史というのはこのようにして、精神をおかしくしている時に生成してしまうものだとわかります。
ところで、インターネットを徘徊していたら、こんな文章を見ました。
つまり「人生の意味を問うても無駄。その代わり人生があなたに問うている」というものです。
もしそれが本当ならば、精神を錯乱して残した黒歴史を正常になってから振り返り、「この黒歴史、君自身はどう感じるのか？」と問うていることになります。
まったく、人生って本当に性格が悪いですね。私が嫌な思いをしていることがわからないのでしょうか。それともその嫌な経験こそが、哲学的深淵なのでしょうか。
私はその性格上、刺激を欲しがっているのです。SNSをやるのは、誰かから刺激をもらえないかというちょっとした期待に基づいています。
でも「いいねの応酬」はしっぺ返し戦略的、機械的なものになります。私が誰かにいいねすれば、その分のいいねが返ってくるというわけです。
そんなくだらない刺激のために黒歴史を残すなんていうのは、一体どういうことなんでしょうか。
SNSの繋がりなんて、所詮は浅い繋がりです。オンラインだと、相手がリアルに存在するものだと忘れてしまう人もいるようなのです。
やはり一期一会というのは、実際にオフラインで対面で会話したことのある相手の存在に対する「出会い」に感謝するような言葉であり、私をおもちゃにしようとしているネットトロールとの出会いというのは、そこまで感謝できるようなことではないと思うのです。
インターネットで発言すれば、好感を持たれたり、恨まれたり、見下されたりします。しかもその発言が、本来の私の精神状態ではないことだってあります。
「私」というものを、他人に誤解されることの恐怖が、SNSにはあります。もはや他人の目を気にして怯える場所です。
だから私は、発言する時は匿名性を重視するのです。箴言にも、愚か者が言葉数を増やしてしまうことに対する戒めがあるので、実名で語るシーンでは黙っておいた方が賢く見えるのです。
「話すは離す」という言葉もあります。結局、ネットであれカウンセリングであれ、悩みをぶちまけられる場所があれば、精神のデトックスになります。
そうやってぶちまけた内容というのは、恥ずかしい内容なので、やはり実名と紐づいてしまうと「目」の恐怖を感じます。
まあ、浅い繋がりの人たちに「見下すな」と言うのが、そもそも無理なのかもしれません。字下げ増田を「高学歴の愚者」などといって嘲笑う人たちがいますが、彼らは人の心を尊重することを軽視し、おもちゃにしています。
確かに、愚者は他人から見下されるような行動をしてしまいます。しかし、それが人間の弱さであり、弱さをお互いに認め合えるようになれば、「お前は愚かだ」などとインテリぶらずに優しい関係になれるのではないでしょうか。
四限の授業前、もう日が傾いて
夕日が落ちようとするグラウンドで
懸命にボールを蹴る学生を見ながら、自分にもきらきらした時間があったのを思い出した。
長年付き合っていた恋人とも別れ
たまの休みにすることと言えばアルバイトばかりでそんな中迎える最後の通学日、学生もほぼ帰宅した時間帯に見るものもなく「禁煙禁止」の貼紙をただ呆然と眺めながら夕日に照らされていると
アルバイトが辛いだとか、この先の不安だとか吐露する相手もなくただ一日を機械的に消費する自分には今後どんな幸福も不幸も、波にしか思えなくなるのだろうと僅かなセンチメンタリズムを感じながらこの日を思い出すことはあるのだろうかと未来に思いを馳せていた。
