日記

茶番V

もはやバトルですらない茶番の5回目だが,本当に一切聞いてなかったので一切感想なし.平和でよろしい. このクオーターに入って,木曜1限が講義で潰れていることがわかったので,水曜日の夜までに済ませなきゃいけないお仕事量が増えた.慣れるまできつそう…

某コンテスト申し込み

某コンテスト出場申し込みの面倒を見るなど.今までサボってたので割と慌てて進めなければ,という状態になっている.それにしても,数人,私と同程度かそれ以上に事務仕事が苦手系の人がいるので,よく注意せねば. まあ,誰か本戦行ってくれると良いっすね…

キャンプファイアー

近くに自分より怒ってる人がいると,不思議と怒りが湧いて来ず,「まあまあ落ち着いてくださいよ」モードになるな. つーか,もう去年からのあれこれで,もはや何がきても驚かなくなったと言うのが大きいのかも.私は「学問や研究は何にも代え難く意義のある…

日曜だが働く

やっぱ共通教育とかアホなんじゃないかと思わなくもない.「共通教育により教育の質を担保」とかどの口が言ってんだ,という感じ.というのも,色々足を引っ張る人がいて平均的にダメになっている気がする.能力ある先生方が可哀想.理念は良いとしても実装…

Beamer の onlyenv 環境

昼まで寝ていて,スライドを仕上げて,夕方に某所で発表練習.学部生からかなり鋭い質問が飛んできてヒヤッとさせられるなど.とても良いことですな. 閑話休題.Bemaer で擬似アニメーション(?)を使う (正確に言えば overlay を使う) ための overlay specif…

沼にハメる

なんとなく北海道時代の後輩と Twitter で DM していたら,なんかまた一つ沼にハメてしまった….その人と DM しながらとある一挙放送を結局全部見てしまったので全然仕事がはかどらず.辛え. 閑話休題.その人すでに某公立高校の教員として働いていて,考査…

酔歩の√

寝て起きて,ちょっと圏論やって,寝て起きて,卵焼いて食べて,寝て起きて,酒を飲んだら一日が終わった. 閑話休題.原点から2次元離散型ランダムウォークをしていって,n 単位時間後の原点からの距離の平均が √n になるらしい.なんかあんまり直観的じゃ…

死にかけでスライド作り

某所に持ってくスライド作り内部締切と某レポート締切が重なって死にかけ.n さんにダル絡みしに行くがあしらわれるなど.でもモンスターエナジー 1 本で済んでいるのでまあマシか. んで,スライドの方はちょっと凝りすぎな感じもするが….Beamer,生産性は…

* と ?

* と ? のような,パターン検索するときに使う文字のことを一般的に「ワイルドカード」と呼ぶと思っていたら,若干違うらしい.Wikipedia だとそう書いているっぽいのだが… ワイルドカード (情報処理) - Wikipedia その筋に詳しい人(?)によると,要するに「…

2回目の感想

某アレが2回目.以下感想. 「前の手順を考慮したら,手のラベリングの精度が良くなる」という,当たり前っちゃあ当たり前の結果なので,もうちょっと踏み込んだ考察が聞けると面白かったなと思った.考慮する盤面の範囲が大きすぎると精度が悪くなるという…

モナド理解史

小さい方のゼミ最終回.モナドの話題なので盛り上がるかと思いきや…発表者が正直だったので特に炎上も盛り上がりもなく終わった.教員が質問モードではなく解説モードに入っていたのも大きい気がする. モナド=箱,というメタファーはやっぱりよくわからん…

「編入はマシ」

大きい方のゼミで,B4発表の初回.期待を上回るとてもマトモな発表があったので嬉しい.まあ,話を聞くと編入生らしいので,なんか納得してしまうが….いや納得してしまうのもどうかと思うんだけども. 閑話休題.「編入はマシ」とか宣う教員がいるらしいが…

名無し項に直しているだけ

なんか 1 日中寝ていた気がする. 単純型付きラムダ計算の CCC (Cartesian Closed Category) の意味論が,地味に Semantics of Programming Languages: Structures and Techniques の圏論の章に載ってて,読み直しているんだけど, Var と Abs と App しかな…

ニトリへソファー選びに

某所のためのソファー選びに,ニトリまで 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 周目に.この周は楽そう. 閑話休題.実験とか演習とかを乗り切るコツとして「優秀な人と友達になれるかどうか」が大事だ,という話をよく聞くけど,なるほど確かにそうだなという気がしてくる.だがしかし.自分が優秀な人になろうという…