明日業者の方に来てもらって開通工事をしてもらう予定だったのに。今、試しにモデムのセットアップをしてみたら繋がった！ふしぎ！

今、沖縄にきてます。社員旅行です。詳細と写真は後日。

性に合わないことを書いてみる。自分には謙虚さが足りないのではないか？ということについて。もともとは取り柄がないことを気にしていたので、計算科学やプログラミングを勉強している今では、知っていること、できることを（時に知らないこと、できないこ…

とりあえずリンクしておく。よく眠るために覚えておきたい17のTips | POP*POP こういうのが必要な人がいるから。僕とかtetzとか……。

Type inference - Wikipediaに型推論に関する記述がある。現時点では日本語の項目*1で言及されていないアルゴリズムに関する項目もある。ざっと斜め読みした感じだと： 各部分項について型を判定し、述語論理式の集合を構成する 述語論理式の集合の全ての要…

一年間、力を注いできた卒業研究が終わり、２つの卒業旅行に行ってきた。 卒業研究 卒業研究は人工知能に関する理論的な研究で、複雑になりすぎて誰にも理解してもらえなかった。 少なくとも何をやったのかについて理解して欲しい、また色々と考えたことを整…