※ メインストーリをすべてプレイした前提でネタバレありの話しかしません． 未プレイの方はブラウザバック推奨．以下千羽鶴によるネタバレガード．

※ 4人のストーリーをEp. 31までプレイした前提でネタバレありの話しかしません． 未プレイの方はブラウザバック推奨．以下千羽鶴によるネタバレガード．

はじめに 7/22-8/20の約1か月間，ロンドンの研究所のサマースクールに参加してきました．サマースクールでは離散トモグラフィーについてちょっとした研究をしていました．大変楽しかったです．この記事では僕の備忘録も兼ねて，何があって何を考えていたかま…

タイトルの通りだけど，paleontologyさん製作の『SeaBed』というノベルゲームが大変良かった．販売サイト： www.dlsite.com 公式サイト： middle-tail.sakura.ne.jp 何を語ってもネタバレだし，販売サイトのあらすじですらネタバレ気味なので（少なくとも僕…

はじめに 数理情報工学実験第二という演習で、Raspberry Piをつかって何かを作ることになりました。そこでAMATERASUという自動ノート取り装置を作ったので紹介します。 そもそもRaspberry Piって? Raspberry Pi3 Model B ボード＆ケースセット (Element14版,…

はじめに 輪講で『A=B』という超幾何級数の等式自動証明についての本を読みました。タイトルが簡素なとこが好き。 The Book "A=B" pdfが著者のページからダウンロードできる。こういうのいいよね。 超幾何級数の等式自動導出とは 超幾何級数とは、 という形…

尊い紅殻のパンドラ (1) (カドカワコミックス・エース)作者: 六道神士,士郎正宗出版社/メーカー: 角川書店(角川グループパブリッシング)発売日: 2013/03/08メディア: コミック購入: 1人 クリック: 14回この商品を含むブログ (14件) を見る

まえがき 今は数理工学を学んでるけど院では科学寄りの分野に戻るつもりなので、さすがに一回くらい科学哲学を体系的に学ぶべきだろうと思って読み始めた。真面目に講義取ったり本読んだりをしたことはなかったけど、どこかしらで聞いた話がちらほらあったし…

『位相と論理』という本を読んだ。タイトル的に位相空間を使ったヤバい意味論をガンガンやる本かなあと思って読み始めたけど、実際には束論と位相の本だった。要するにStoneの表現定理+α。他の本でカバーされてる内容も多かったけど、束を前面に出した簡潔な…

あさぜみ*1で発表しておいて今更感あるけど、Internal Set Theoryを勉強した。"Real Analysis through Modern Infinitesimals"*2とかも読んだけど原論文が一番面白かった。 Internal Set Theoryとは 超準解析を公理化したもの。ZFCに1つの述語(st(x))と3つの…

はじめに クワインとは この前プログラミングの教科書を読んでいたら面白い問題があった。大雑把には次のような感じ。*1 自分自身のソースコードを出力するプログラムを書け。 調べてみたところクワインというらしい。細かい話をすると入力を受け取るのもダ…

A Concise Course in Algebraic Topologyのゼミ発表の準備をしてたら沼にはまった。13.4節のお話。 やりたいこと を示す。 基本戦略 ] とするとは境界作用素と可換になる。はの次元。これより上の同型が従う。 やったこと 可換性を示すとき直積空間上での境…