GPT 君に、 A と尋ねて A' という回答があり、 A に関連して B と尋ねて B' という回答があった。この履歴に矛盾があるが、それがわかるか？と質問して GPT 君はわからないと言う。 A' のここと B' のここは矛盾しているように見えないか？とヒントを出して質問したら謝って言い訳して矛盾を認めた。こいつは単なる言語モデルなので人格とかを仮定するべきなのではないが、強いて言うなら、ぼちぼちの大学を出たぐらいの脳みその新卒だと思った方がよくて、専門性とかない。
モデルが強力であればデコーダ（推論）はそんなに頑張らなくていい、という現時点での結論なんだが、コスパが異常に悪くなる。小型のモデルで推論を頑張った方がよい場合があって、今はそれをやっている。
このご時世の LLM でいうところの、出力時のビーム幅やらなにやら、いかに最適な出力をモデルから引き出すか、という仕事をしていた。
率直なところ、ある種の数理最適化問題を解くことの方がマルクス主義より私は好きであるので、小ブルジョアとして自己批判したいと思います。
ずいぶん前の話だが特定の数理計画問題を解かせるべく分枝限定法をスクラッチで実装して1TBのメモリを持つ計算機で解かせたら一瞬でメモリを食いつくして大変なことになった。 CPU 側が追いつかなかった。
賞金収集巡回セールスマン問題も好きだな。これも相当やった。
帰宅大成功だ！！！！！！
動的計画法で解ける問題は漸化式で表現することができて、すなわち計算機を使って表を埋めていけば答えが出る。要は漸化式に則って単に最初から計算していけば答えがでるんだな。二次元の表を埋めていけばいい場合はいいんだが、三次元の表を埋めないといけない場合があって、その場合をいかに押さえ込むか。これが面白い。
一番好きなアルゴリズムは動的計画法でナップサック問題を解く場合で、これに対してはたぶん普通の人の1,000倍くらい取り組んだ。擬多項式時間アルゴリズムがあるので問題の性質上興味深い上に追加的な制約を加えた場合の発展性や実用性に良好な性質がある。
現状を変更するにも変更を阻止するにも結局、力しかないという冷厳な事実が明瞭になった。それだけだ。
最近、便の色を見るに明らかに血が混ざっているので検査にいかないといけないんだよな。
freee 会計の新しい料金プランが結構お高くてダウンセルが相当発生しそうだがどうかな。
座敷童の萌えキャラだが、なんというかな、日本は性道徳に関しては歴史的に早熟な傾向があるので、なにをかいわんや、毛唐どもにごちゃごちゃ言われる筋合いはない。ちなみにこの先に「ご立派」なオシラサマな御神体があらせられるが……。
まあ、歴史的に急騰したので急落して当然なんだが。そういうものだ。
今日、最近投資を始めた人は眠れないだろうな。結構安値でしこしこ拾ってきたし最近手控えして現預金に回していたので被害は大きくなかったが……。
体調が悪すぎる。
計算機科学者あがりの企業経営者．何でも屋．田舎芝居の座頭．市況が悪くて困っています．
2019年 10月 に登録
