辛い空間

本日はアウェイ戦 × 2 で非常に疲れた(1 : 知らない人たちと一緒にぎゅうぎゅうに詰め込まれた 90 分,2 : 余計なことを言わないのに徹したい空間). 3 回言葉を飲み込んだのは,多分大人になった証拠(それでもちょっと気を抜いてしまって 1 回余計なこと…

メガネを新調

なんとなくメガネを新調してみる.フォーマルにも使えるように,今回はメタルフレームにしてみた.レンズの形をちょっと縦に広いものにしてみたら意外と良い感じ.

フォント周りの研究

ディープラーニングでフォント生成系の話,思いつくだけでも複数ある程度にはありがちなネタ. そういや Java ソースコード用の合字利用法とかいう話もあったなあ(ポスタ発表のタイトルだけ覚えていて,なんの話か全然覚えていないシリーズ). 閑話休題.M1…

おのれ最大不動点

Coq で 2 つのストリームが同じであることを示したいとする.例えば, CoInductive LazyList {A : Type} := | Nil : LazyList | Cons : A -> LazyList -> LazyList. CoFixpoint ones := Cons 1 ones. CoFixpoint ones' := Cons 1 ones'. てな設定のもと, Go…

勝利の音

とりあえず histomorphism の特徴付けというか基本定理(ana の式を cata の式に変換するやつ)を示せた.万々歳.修論の単位が出る音が聞こえる.あとはエクストラステージだ! だがしかし. Instantiation クソむずくね,という話はとりあえずおいておく.…

謎の飲み会が発生したりとか色々

日付が変わって今日になったあたりで,こちらがどうせ満たされないだろうと思って適当に言った条件が満たされてしまったので飲み会が始まるなど.2 年ぶりぐらいの人と話せた. 寝て起きてから, mtpro2 とかいう数式フォントを買ったりした.色々変なことが…

再び体重が減少に転ずる

そして,体感的に体重の変化以上に一段痩せたような.ちょっと身体が軽い. 閑話休題.5分程度で研究紹介しろとか無理ゲー.背景とお子様向けの研究紹介をして終わりで良いよね.

ストリートファイターⅡ

エドモンド本田の百烈張り手で端に追い詰めて嵌めるのが強すぎる.ただし,まったく格ゲーをやっている気はしないのが難点. 閑話休題.Coq の型クラスのインスタンス内部で定義したプログラムが eval できないのはなぜなんだろう.ビミョーにわかっていない…

ビジー状態にある人に文句を言っても生産的じゃない

研究報告書をガーッと書くなど.報告期間には意外とサーベイをしていたので,思ったよりちゃんと書くことがある.前回も長いなあと思ったがその1.5倍ぐらいの分量になっていて笑う.どうせ真面目にコメントされない(片方の先生は特に定型文しか返してこない…

「参加可能な日を教えてください」

2週間ぐらい前に,「新歓の日程を決めたいので,参加可能な日を次の選択肢の中からすべてチェックしてください」という Google フォームが来たのでテキトーに回答したら,今日「下記の日程に決まったので,参加者は来なさい」というメールが来た(参加者一覧…

小綺麗なオタクが増える連休明け

今日は朝から用事をすっぽかされる.私の認識に間違いがなければ,本来は向こうから何か一言あるのが筋なんだが,ダンマリを決め込まれている.「薄情者が田舎の町にあと足で砂ばかけるって、言われてさ」という話の一種だろうか? まあ,それに続く歌詞のよ…

気づけばもう連休最終日

とりあえず論文は半分ぐらい埋まったような,埋まってないような.そしてページ数の割に意外に量が書けないフォーマットであることに気づく.そういや去年の春に投げたのと同じ形式だから,そういやそうだったような気がしないでもない.そして英語書くの楽…

ぼちぼち論文書きモードに入ってきた

なんとなく背筋が冷たくなってきたので,論文書きモードに入ってきた.話の展開が頭の中で組み立てられてきて,あとはやるだけモードに入ってきたのも大きいかもしれない.日本語のようにスラスラとはいかないものの,まあ掛けた時間分だけは増えていくよう…

そろそろ連休の終わりが見えてくる頃

日本文と違って,英文は一向に増えない感がすごい.日本文だと一週間あればブワーッとワカメみたいになるが,それにしても英文は増えん.まあ,端的には,何か書きたいと思うたびに表現を調べたり,他の論文ではどう書いてあるか調べるみたいな動作が入るか…

令和初・だる絡み

向かいの研究室の人に 1 年ぶりぐらいにだる絡みした.その流れで令和初酒を飲むなど.そしてトワプリをやらせて眺めていたが,それにしてもトゥーンリンク可愛い. 閑話休題.最近昼夜逆転をするべく努力しているのだが,どうしても夜になったら寝てしまう…

令和初・健常者に擬態

論文の進捗がないのは温泉成分が足りないからだ,ということで福岡のスパ銭に行く.ついでに,前髪を就活以前と同程度に伸ばそうと考えつつ,まだそんなに伸びてない気がするけど調整のために髪を切る. んで,ふらっと Apple ストアに立ち寄ったら,なんと…

令和一日目

めでたい? ということで,2000 円ぐらいの高い肉を買ってステーキにしてみる. 感想: 最初の 3 口めぐらいまではうまいが,あとは脂っこすぎて食えたもんじゃない.霜降り肉の調理方法がよくわかっていないのか,霜降りが過ぎるのか, 本日の論文進捗: 捗ら…

平成最後の日

Logical relation 関係の論文を読むなど.Universal algebra で homomorphism を relation に拡張したものが logical relation だみたいなことが書いてあって,なるほどという感じ.で,logical relation と言えば strong normalization の証明に使うイメー…

穏便に済ますことを第一にできた

色々と迷った挙句の結論を,とりあえず冷静を宗としてお伝えした.どう受け取られたかは知らんが,とりあえず想定したパタンのうちもっとも穏便なパタンの一つに落ち着いたので,まあ良かった. そして,そういや 30 分話す機会をもらってたなというのを思い…

考えることが多いなか粛々とスライドを作る

色々と考えることが多いが,とりあえずスライドをリメイクする.全体的に文字サイズを大きくするなどデザイン上の修正が主だが,奴らが勝手なことやってくれてるので,それに対応した修正も必要になる.まあ BYOD やらなんやらで仕方がないんだけど,人の仕…

クレジットカード

学生のうちにクレカを作っておいた方が良いとか思って作っていたのを思い出したので,とりあえず安いもの買って使ってみるなど. スマホのアプリで使用額を確認できるはずなんだけど,反映に時間がかかるとかなんとかでとてもビミョーな気分. 閑話休題.Bot…

音楽性の違いを感じた日

このままいくと私が老害なのであるが、老害になってまで何かする義理はないだろう、というので、もう引き際かなとか思った(ちょっと遅すぎる気もするが)。以下、意図的に 2 つの別の話を混ぜて書く。 内側の人たちが「学生が成長することに全力を注力すべ…

お祈りメール

研究室の同期が、推薦による就活でお祈りメールをもらったとかなんとか。これは内定が出るのは 6 月とかになりそうで、ちょっとかわいそうな感じがする。そんなに無能じゃないと思うので、単にミスマッチか、あちらに見る目がなかったかどっちかな気がする。…

普通にコミュニケーションできるのはありがたいことである

B4 学生さんのうち 3 人と話すなど。なんとなく芸風を理解した気がする。これで少なくとも雑談はできそう。 閑話休題。subsequence による regular language への embedding の話は評判が(1 人に)良かったようで何より。どの 2 つも比較不能な元たちの集合…

耳饂飩がない

AirPods を買いに Apple Store に行ったが無かった。かなC。 そして在庫が確保できるのが GW 明けになりそうだったので、2万円は Higher-Order computability の本に化けましたとさ。 閑話休題。わざわざ照葉スパリゾートまで行かなくても、湯の華で十分そう…

春は毎年眠い

「お前は毎年、春はよく寝ている」と言われたが、確かにそうなんだろう。というわけで、downward embedding が regular になるという論文を読んだりしつつ一日中寝ていた気が。 うーん、こんだけ寝ているとちょっとあれなんだけど、「夏頃になると元気になる…

ゼロ票確認を逃す

市議会選挙。朝6時55分頃に投票所に行ったら先におばさんが並んでいてゼロ票確認逃した。が、投票箱が空いているところは見られたので満足。

太宰府は車で行くと一瞬で着く

久しぶりに太宰府に行く(案内する?)。車で行くと一瞬なのでウケる。やはり梅ソフトがうまいが、ちょっと酸味が弱くなった気がする? 閑話休題。九国で小倉織の良いキーホルダを見つけたので、やっと鍵にキーホルダーをつけるなど。

逸失利益という言葉を覚えた

人が殺されたとき、裁判で逸失利益を高めに見積もってもらうためにもプレゼン能力が重要らしい。そんなエグい話でプレゼンしなきゃいけないというのは如何なものか、というのは尤もだと思うが、他の枠組みがあるかと言われると悩ましい。 とりあえず、逸失利…

顎関節症再び?

基本的に寝ていた。春は永久に寝られる。そして毎週水曜日に論文発表とかやってら、「木曜日で昼夜逆転」がデフォになるかも。 最近偏頭痛っぽいことが多い。再び顎関節症かもしれない。虫歯もあることだし近々歯医者に行かなければならない。