卑屈クリスマス

クリスマスツリーの特集とか見てるとただただ悲しくなる.白いファイバーツリーとか綺麗でそれなりに好きなんだけど,すぐにこれは多分俺のために光っているわけではないんだろうなという卑屈な考えが浮かんでどうにもダメ.そしてああいう楽しそうな空間行…

靴を新調

半ばトレードマークとかしていた赤靴はもうボロボロで,さすがにあれでちょっとフォーマルな場所に行くのは無理中の無理になってきたので,靴を新調.靴を買いに行く靴もない状態で,仕方ないので通販で靴を買うという冒険だが,まあ New Balance で 27 cm …

どこに行っても寒い

セラミックヒータの近くじゃないと生息できない身体になってしまった 閑話休題.ltac: の使い方がいまいちわからない.

久しぶりに社会人の姿を見る

昨年お世話になった人が社会人として研究室に来ていた.社会に出て半年ちょっと,ということで,だいぶ変わったかなあとか思ってたら,本質的には昨年とあまり変わってないように見受けられたが,そういうもんだろうか.まあ,もともとかなりしっかりとした…

well-defined とか好きそう

「皆さんは数学のユーザだから well-defined とか気にしませんよね、あ、でも君は違うかもな、そういうの好きそうだしね」 well-defined 好きそうってどういうこっちゃねん

さすがに難しすぎるのではないか

某特論のレポート問題がA4で5枚分.数学科のレベル感もよくわかんないけど,あれでだいたい数学科の学部3年とかのレベルな気がする.私は1日かけて一応全て埋めたが,他に誰かちゃんとやってんだろうかとか思わないでもない.たまたま上に重ねてあったので見…

心配される(?)

今日は一段と覇気がなかったらしく、そこそこ急な体重の減少とかと相まって、御心配のお言葉をいくつか頂いた。実務的な理由が主とはいえ、心配してくれる人がまだ居たかと思うと少し嬉しいが、現実的な話、仕事に支障でるようだとちょっと困るなあ。 なんだ…

イヤホン新調に若干ミスる

閉店間際のイオンに駆け込んで、とりあえず明後日イヤホンを買ったら、巻き取り式のイヤホンだった。それはいいけんども、立った状態でイヤホンをつけると、ちょうどコード収納部分が胸のあたりにきて、しかも収納部はそれなりの重さがあるので、立ちながら…

証明の前に statement を言えよ

何を示したいのか言ってから証明をはじめてほしい。馬鹿にされている気分で大変イライラ。 閑話休題。最近、例えば分割の例を挙げるときとかに「男性全体の集合と女性全体の集合は、人全体の分割ですよね。あ、でも最近は男性でも女性でもない人がいて、(以…

鉄板自己紹介

長距離歩行の生活は、思った以上に良い自己紹介ネタだな。ありがたやありがたや。 それはそうと、機械学習関係でなんか腑に落ちない話を聞いてモヤモヤしている。深層学習と SVM って、広い意味での統計的な手法によって分類器を得ているという意味では、言…

あ???

ご発表をいただく立場ではあるものの,ちょっとテキトーすぎるんじゃないのかとか思わないでもないご発表.まあ,あれで許されるのがエンジニア界隈の風土で,それが風通しの良さな気もするが,裏を返せばその程度の擁護しかできないとも言う. 高校の文化祭…

安心して流会できること確定

Fさんこないらしいので安心して流会できる.つーか,結構準備等ハイコストな割に色々アレなので,今の所はもうやらんぞに気持ちが傾いている. 閑話休題.最近「みんな定時に帰れよ」とか思うようになった.大学側もそう望んでいるっぽいし(なお,「上の人…

在野の博識な方

「modal logic はよく知らないが,S か K4 だったか忘れたがどっちかには 2 重の diamond operator を 1 重にできますよというような推論規則があったはずで,それがだいたい monad に対応しているので,そういう categorical semantics の多分界隈では有名…

今日の問題

問題: Force-directed graph drawing のような力学モデルを使って SNS のネットワークを描画したとき,「近い距離に配置された2つのノード」はどのような関係にあると解釈できるだろうか? まず Force-directed graph drawing のアルゴリズムの詳細について…

HTTPS 化

そういや今更ながらニコ動の動画視聴ページが HTTPS 化されていることに気が付いた.あれいつから HTTPS 化された?と思って調べたら,なんかぼちぼちやってるという話らしい. ch.nicovideo.jp んで,これを機にと思って,利用中の各種サービスの HTTPS 化…

誤算×2

タイミングの問題ではない気がするけれども,思ったより早くて焦った. スマホを忘れて帰宅したら,飲み会帰りと思われる大学生30〜40人の集団がたむろしてガヤガヤ騒いでいるのを目撃.この前,「こういうのをみたら迷わず警察に通報することにしよう」と心…

口笛男

昼飯でも食いに行こうかと,研究棟で下りのエレベータを待ってたら,クソうるさい口笛が聞こえてきた.研究棟中響き渡っているなと言うレベルで迷惑.下手な口笛ではないがうまくもない.旋律が美しいわけでもないのでただの騒音. で,うるさいなあとか思い…

充電が終わらない

エンジンがかからず寝坊するなど. やはり最近あんまりまともにもの食べてないのがよくない? なんか食欲もないもので. 体重がガリガリ削れているけれども,まあまだまだ余裕あるので,もうちょっと放置.

ゲームの駒

ハラスメントを一本取られるかもしれないけど,言うべきことは言わねばならないんだな. という意味では,講究も,あのやる気ない雰囲気に飲まれないで,積極的に質問したほうがいいだろうし,本来はそう言う義務を負っているんだろうなあ.それこそ,他人に…

今週の充電日?

ということで昨日に引き続き夕方まで寝ていた気がする. 閑話休題.俺も Jech 本買うかあ.だがしかし,2万円…

おやすみなさい

まあ,発表はなんとか無事に終わる. しばらく寝てないので,とりあえず寝る.おやすみ.

入りきらん

30分じゃトポロジの話までは無理っす,というところで,自明なところを丁寧に解説してお茶を濁すか.

トポロジに思いを馳せる

Higher-order な関数の computability theory みたいなのがあって,それなりに面白いことが言えるらしく,そのチュートリアル論文を読んで潰れるなど.んー,チュートリアルじゃない方の長い論文をちゃんと追わないとよくわからなさそうだが,いかんせんトポ…

スパイスからカレーを作ってみるの巻

表題の通り.とあるサイトを参考にしながら,後輩の指揮のもと作る. スパイスの色が綺麗. んで,完成したらこんな感じ.それなりにうまそう. 食べてみたところ,うーん,ちょっと玉葱の苦味が強い気がする.今後の研究に期待ということで.

感慨深いインターネット

8 年ぐらい前から,付かず離れずぐらいの距離感でずーっと見ていた実況グループの一人が結婚されたらしい.どういう人たちかよく知らないのだけど,とはいえなんか遠い親戚の祝事みたいな気分で,感慨深い. ニコニコ動画も高齢化が進んでいるが,これはこれ…

この人の発表を聞くとムカつくので体調の悪い時は聞かないようにしようリスト

無事 2 人追加

data functorを構成

Coq でやるには型合わせがとてもつらい.とてもバカな定義だができた. いずれ polynomial functor をもうちょい賢く扱う必要があるな.別に各 polynomial functor の initial algebra の standard な実装を作って仕舞えば良いだけで,具体的な Coq の実デー…

スライドの直しをガリガリと

講究のためのスライド直しをガリガリとやる. 成果が出る前にスライドができるスタイル.さて,やると言ったことはやらねば….

半年前の自分の論文

をよく読んで校正しろとか,もはやなんか罰ゲーム感ある.

ラクガキの王を倒す

予選通過後の急展開よ。なんか容量か時間の問題で色々削ったとしか思えない感。自称ラクガキの王 4 体 + ラスボス 2 形態と戦うが、全体的に長ったらしくてめんどいだけな感じも否めず。特にラスボスは 8 回目くらいでやっと勝ったが、何度か投げ出そうと思…