ニトリへソファー選びに

某所のためのソファー選びに,ニトリまで 3 人てくてく歩いていく.うーむ,皮か布かが悩ましかったり,色が悩ましかったりするが….まず皮だと夏は暑苦しそうな感じがするが,どうせ冷房入れているので問題なかろうという気もする.布はそういう心配はない…

手巻き寿司2回目

2017 年 12 月 31 日に続いて,手巻き寿司 2 回目.今回は人が多くてたいへんに賑やか.やっぱりトロがないと満足度がかなり下がるな. 閑話休題.情報幾何とか,話だけ聞くと面白そうなんだけど,統計とか機械学習系統の素養がないので結構道のりが遠そうな…

お仕事が折り返し

今回はしっかり寝たので,あまりポンコツなことを喋らなくて済んだ. 閑話休題.ping のポート指定の -P オプションが割と謎なんだが….本当にそのポートに ping していたとして,そのポートが NAPT でリダイレクトされていたとしたら,返事を返しているのは…

初回感想

今日は考究初回.以下感想. 1 人は,よく勉強しているという感じで大変わかりやすい発表だった.質問としては,不変零点をある方法で取り除くという話だと理解したが,現実の制御で不変零点が出てくるのは具体的にどういうときかはわかっているのかというこ…

ダメな発表は聞かないのが正しい

今度から「これはダメだな」と思った発表は聞かないようにしよう.聞いてるから「言うべきか言わないべきか…」と悩むのであって,聞いてなきゃこころ穏やかに過ごせる. 閑話休題. 上の順序関係 を, で定義する. の Hasse 図を書け,という問題が話題にな…

研究紹介?

研究紹介のスライド作りと本番を済ませたら1日が終わっていた.誰向けかよくわからない内容を好き勝手に喋るのは楽しい. 閑話休題.「ブラウワーハイティングコルモゴロフ解釈」って何回も言いたくなる言葉だよね.

博多まで歩く

歩いて博多まで行く.いつも通りの米山峠から太宰府を迂回するルートじゃなくて,八木山を歩いてみる.米山よりも歩道のある区間が長くて安全であるということがわかった. 車だと気づかないんだけど,八木山の上に展望台とかあるのね.とはいえ上から見える…

誰向けなのかよくわからないシリーズ

某集中講義.テキストは思ったよりガチだったが,授業は思ったより丁寧.丁寧すぎてちょっと遅い気もする.つーかこのへんの内容はすでに知っているのでつまらん.位相空間論とか B2 のときにちょっとかじったのよな. 閑話休題.しかしやっぱり誰向きの講義…

修正期間がない?

第2Qの履修登録「修正」期間が大学院にないらしい.これ結構死ぬ人いると思うんだけど,どうなんだろう? 俺はとりあえずうける可能性があるのは全部登録しておいたので勝利. 閑話休題.WebAPI の概念を理解するところから初めて,某進捗表をはく Python の…

割ときちんと仕事した

朝からきちんと仕事した.というか,溜まっていた仕事をバーっと片付けた(締め切り前になると火がつく法則) そして昼は昼でお仕事.この周は楽そうだと思っていたが….私は楽だったが相棒が大変そうだった.んで,全体的な感想:話が通じないのはこっちが…

散財

40861 円分の本が届く.さすがに買いすぎ.今月どうやって生きていくんだろう. Categorical Logic and Type Theory はちょっと自分には難しすぎるな.Fibered category とか全然わかってない.うーん,やっぱり Category for Types あたりを持っておくべき…

人気のない講義を取るべきである

授業中にクソうるさいバカが不快この上ない.さらに暑くて湿度も高いのでかなり不快.今度からはなるべく人気のない講義を取ることにしよう.とはいえ,もうQ2で単位揃うんだけれども…. 閑話休題.前髪が伸びてきたのでさっさと髪を切りたい.また短くしよ…

オブジェクト指向とか(以下略

久しぶりに人前で専門外のことを喋る.自分の専門じゃないものを発表するのはやっぱり結構ツラい.しかも良いと思っていないものの良さを主張しろとかかなりツラい.オブジェクト指向とか(以下略.てか,あの時間じゃあ無理,と言いたいところだが….まあど…

「行列Aの階段行列」?

階段行列が一意になるかというのが話題になった.つーか「行列 A の階段行列」という表現ってどうなんだ,と思わなくないが….イメージとしては,「階段行列」というのは,「上三角行列」とか「下三角行列」みたいな感じで,行列の形を表しているものだと思…

ソファー仮配置

深夜に向かいからソファーを奪ってきて,こっちにソファーを仮配置してみたりする.思ったよりかなり快適な空間になった.ソファー大事.ということで,あとはソファーを選ぶだけ(なのか?) 閑話休題.1 万とか出して買った本が,普通にネット上に pdf が…

Coq に興味を持ってくれるとうれ C

例によって金曜日なので 1 日予定が詰まっているがとくに変わったこともなし. B4 の卒研テーマの希望を色々聞いたが,グラフ系が多いっぽい? 意外にビジュアルプログラミングは人気なし.そして,1 人 Coq に興味を持っているっぽいのがいてうれ C(が,Co…

学生生活は優秀な人と友達になれるかどうか?

とあるお仕事が 2 周目に.この周は楽そう. 閑話休題.実験とか演習とかを乗り切るコツとして「優秀な人と友達になれるかどうか」が大事だ,という話をよく聞くけど,なるほど確かにそうだなという気がしてくる.だがしかし.自分が優秀な人になろうという…

Prolog 書きにくい問題

やることがないわけじゃないんだけど,昨日までのあれとの落差でなんか暇な感じ. 閑話休題.Prolog 久しぶりに書いたがパッとはかけないもんすな. 閑話休題.「if 文をたくさん使うのが嫌だから Prolog を使っている」と某先生が言ってたという話を聞いて…

なめられすぎ?

無事論文を提出.最後には体力尽きていたので n さんと n くんをこき使って誤植を見つけてもらう.本当にありがとうございました.あとは発表行くだけっすな.地理的・日程的にはちょうど都合のはいい場所&日程っすな.さっさとホテル予約しなければ. 閑話…

新メンバー歓迎会

3 研究室分の新メンバーを迎える飲み会.今年はいつもの居酒屋ではなく,席をシャッフルするという感じらしい.それで K 研の M1 の方と B4 の方 と st と一緒の席になる.まあ当然ながら無難な話をして終わりという感じ.他学科は大変らしい.入学後にバカ…

書いたものは読み直そう

一応論文が書き終わったが,寝るタイミングを逃して辛い.あとは校正だけだが….まあ眠くないタイミングでもう一度読み返そう. ところで.自分のブログを読み返すの結構面白いんだけど,日本語のエラーが多くて木になる.まあブログなんぞどうでもいいっち…

setoid かわいい

Generalized rewriting 理解した.基本的には setoid 上の話なんだけど,でも symmetry じゃなくてもいいよ,ただしその場合は反変な書き換えのみしかできないよ,っちゅー話ね.英語はちゃんと読もう.ついでに, goal だと反変な書き換えが起こるんだけど…

ほぼ書き終わり

章を一つのぞいてほぼ書き終わる.あと一章分書くためにちょっと勉強しなきゃいけないっぽい. 閑話休題.BibTeX の .bib ファイルってどういう運用をするもんなんだろうか.みんな自分の .bib ファイルをとりあえず一つ作って,それをずっと飼い育てていく…

論文が形になってきた?

なんとなく論文執筆も終わりが見えてきた感じ.論点が見えてきたので.イントロをもう少し削らなければ. 閑話休題.アノテーション入れてみたけれども,これだけでもだいぶ宣言的な記法としていい感じになるな.これなら「知らない人でも読めるだろ!」が通…

誰かやる気スイッチ入れてくれ

やる気スイッチがあまり入らず.悲C.でも論文書かなきゃいけないので泣きながら書いている. 作品の方を諸々整備してあとは論文を書くだけという感じに.まあ,こんだけ揃えば書けることはかける気もするが,やはり筆は進まないな.うーーん,誰かやる気ス…

Coq の Reference Manual が一新されてた

連休の飛び石部分1日目.連休といっても論文書かなきゃいけないので実質休みなし.まあ,どうでもいいことで時間取られるよりよっぽど有意義なので問題ない. 閑話休題.今日まで気づかなかったが, Coq の Reference manual のデザインが一新されている.お…

forall a, a の締め切り間近 -> (forall b, (b ≠ a) -> b が捗る)

夕方起床(!?).昨日届いていた Classical Recursion Theory がいちいち面白そうなのだが,まあこちらは本業とは直接関係ない,今の所趣味の分野なので,じっくり読むのは論文書くまで我慢.そういや Model Cheking の話も積んでいるな. んで,論文を書こう…

鮭のバター焼き

昨日の勢いで鮭のバター焼きを作って見る.これまたバター炒めした舞茸と合わせて食う.ベロうま.バター最強.バター文化圏の人間なので,料理とか無縁でも直感的にバター入れたらうまいということがわかってるっぽい. んで,一回帰ろうとしたら,帰ったと…

卵焼き作り

昨日の勢いで卵焼きを作ったり.見るからに料理ができなさそうな人が 3 人集まっていたので,1 人ずつ卵焼きを作って見る.以下その成果. 写真で見ると見た目は残念な感じだが,とはいえこんなもんでしょうとも.思ったよりまともなものができてつまらん.…

久闊を叙する

いつも通り金曜日なので朝 8 : 50 から真に一日中忙しい.んで,今日は夜 21 : 00 から懐かしいメンバーが来るというので,そのお迎えをかねて,すき焼きをば. 7 人いて誰もすき焼きの作り方を知らないというアレぶりだが,仕方ないのでクックパッドとかで…