トビーネット

時間感覚のずれに対しては、「二時間の曲を用意して、作業中に流す」(最近は用意しやすい)という工夫があるが、風呂に入れたり、出社できるようにはならない

スキルのドローンは空を飛ぶ UAV だけど、スキルの中には転がるドローンや、その場で回復するドローンなどがあって、用語が紛らわしい。。(UAVをドローンと呼ぶからこういうことに)

すべてがインターネットからダウンロードできるわけではいからね

私物もってきて勉強するみたいなのが、確立されてきたように思う

追尾マイン、ころころついて来てかわいい

仕事する

これのためにネイティブ寄りで作って、仮想環境においてどこでもリモート接続にした覚えある

開発者でなくともパソコンに人権は必要で…。 社内ツールがまともに動かない。ウェブアプリはまず無理

メモリ4GB に人権がないのは、VRAM 4GB の GPU でパソコンゲームをやると分かります

ベルソムラ、ぼくの場合、一時間で寝られる(これはスペック通り)も、次の日、頭が熱いまま、なぜか午前中、意識がはっきりしないなどで止めた

ベルソムラお気ぎわ午前中まで眠すぎ問題

Coq 使ったというのの論文、人生が終わるまでに理解できそうにないので、探索を打ち切った http://www2.tcs.ifi.lmu.de/~abel/lehre/WS07-08/CAFR/4colproof.pdf …

人類終わった… "3彩色問題はNP完全問題の一つであることが知られている。" https://ja.wikipedia.org/wiki/%E5%9B%9B%E8%89%B2%E5%AE%9A%E7%90%86 …

四色定理やった

三色問題どうやって計算機の支援で証明されたのか気になる

同値とかでも実数である必要ないか(むしろ、特定の実数値で同値であると言っても、、、)

そもそも入力と出力を正しいかどうか実数で突き合わせて確認するような方法を取らないとか

実数使ったら負け的なところあるのかな

僕もプログラムわからないので、素朴な疑問、例えば、 class 名がぜんぶのモデルで被ってるんですが何故ですか、など素人が見ても素人な質問をお客さんに聞いてみたい。

「イキリマウント依存症センターの所長とは昔からの付き合いでして。 留学先ではよく飲んだ仲です。私の紹介状を見せれば予約もすぐです」

「先生、イキリをしてしまうのです」 「むふ」 「マウントもとりがちで困っています」 「当院の専門を超えるので、イキリマウント依存性センターに紹介状を書きます」

いつまでも若くありたいマインドを 持ったつもりで、コンフュージョン

アアーッ

リングフィットアドベンチャーの出社版が出ないかな

必要なのは手順書を代わりにできる人

トラブルシューティングやる機会が増えたけど、とりあえず再インストールされすぎて困る。 途中で再インストールしたらやり直しになる。何度やっても同じ不具合は直らないし、永続化されてる設定は初期化されないの

OS の再インストールで解決したこと、流石に最近はないな(仮想環境は別)

怒りっぽくなくても、「念のため OS を再インストールして下さい」は流石にやめろといいたい

研究室前ポストに貼ってる張り紙 「いつもきれいな実験レポートを提出いただき、ありがとうございます」

お客さんを傷つけない准教授 「念の為、もう一枚、レポートを提出してみて下さい」

お客さんを傷つけない教師 「もう一度、微分してみて下さい」

お客さんを傷つけない返し方 「もう一度、しょうゆをつけて下さい」

開発キットを組み込みに出来ないのか気になる

それはそれとして、今ランタイム配るのありなの…(自動更新されないやつを入れたくない)

「ジャバをもう一度インストールしてください」ってやつだ

国連で、その嗜好、怒りのスピーチできますか