ロコモーション @roco@mstdn.anqou.net
Pinned toot
ですよ～
Pinned toot
ふぃーれさんやっぱり賢いなーってなってるWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWOWWO
鮟鱇とVTb出待ちしてるけどもしかしてとっくに授業終わってるやつか
ラグランジェ定数はうまく求まるし重みも多分いい感じに求まるのに閾値だけが無限にうまくいかんの何が悪いんや
ずっと考えてたけど計算合わんしマジで分からんので誰かに相談したい
前期の人工知能の知識が無いので実験分からんという結論が出て苦しんでる
閾値の求め方が不味い気がしてきたけど正しい閾値の求め方わかんねぇぞ
実験なんかおかしいとずっと思ってたらめちゃくちゃ小さい数+1で1.になってたことが判明したからなぜそんな小さい数になるかを調べる必要が出た
回鍋肉作ってくれると喜ぶし過去問渡すよ
授業出ようと思ってたけど鮟鱇のおかげでやりたかったことが解決したので実験室に戻った
今回の目的は実験の進捗生むのといがたそにあの、githubの、クラスルーム？とか言うのにうまく入れないんですけどって言っていい感じにしてもらうこと
登校したので金髪幼女の勉強会開始です
当然のようにemacs入ってなくてワロタ
情強なのでcoqide何か入らんくても適当にググって雑にコマンド打つだけで上手く入る
Coqのバージョン合わねぇぜ
Coqがemaxじゃないと(というかvimなりなんなりのエディタ使わないと)使えんっぽいので悲しんでる
Coq入れんのありえん時間かかってるけど何が悪いんやろ
今見たら復活してたのでよかったよかった
課題どころか環境すら入れてないので終わりなんだよな
昨日からロリのサイト繋がらんくて課題出来ずに悲しんでる
これこの調子で来週までに終わるかなぁ
