カテゴリー別アーカイブ: 日記

八ヶ岳登山

登山は、人生と同じく、始まりと終わりのある物語である。

普段はこのブログには学術的、技術的なことを書くことが多いが、今回は趣向を変えて、登山について書くことにする(行ったのは8月)。


計画

山に、行きたい。今年に入ってからまだまともに登山していない。去年せっかく買った1人用テントが泣いている(このテントのもとを取るには最低10泊以上使う必要がある計算であるが、この時点でまだ3泊しかしていない)。

まず、どこに行くか。北アルプス?今現在北アルプスで行きたいと思っているコースは3泊4日以上あって大変だし、先日富山の実家に帰省したばっかりなのにまた戻るのはだるい。南アルプス?南アルプスの主だった山は全て登頂済みだ。まだ登ったことのない山、まだ行ったことのない山域に行きたい。

八ヶ岳。八ヶ岳は、メジャーな山域な割に筆者はまだ行ったことがなく(!)、標高2800mを超える高山で、東京からのアクセスも割と良い。八ヶ岳に行こう。 続きを読む

型システムの勉強

型システムを自分で設計したいと思ったので「型システム入門 プログラミング言語と型の理論」(原題:Types and Programming Languages, 略して TaPL)を読んで勉強している。

この記事は私の雑な理解を吐き出したものであり、あまりまとまっていない。しかし、何かしらをアウトプットすることに意義がある(キリッ 続きを読む

「結城友奈は勇者である」聖地巡礼 〜観音寺編〜

たまたま四国に旅行に行く機会があったので、アニメ「結城友奈は勇者である」の舞台である観音寺(かんおんじ)市に寄って聖地巡礼をしてきた。

(たまたま四国に行く機会があったから旅程に組み入れただけで、聖地巡礼が目的で四国に行ったわけではない) 続きを読む

舞台探訪に行ってきたよぉ 〜高岡編〜(「ゆるゆり さん☆ハイ!」聖地巡礼)

帰省のついでに、アニメ「ゆるゆり なちゅやちゅみ!」(OVA)、「ゆるゆり なちゅやちゅみ!+」(特別編)、「ゆるゆり さん☆ハイ!」(3期)の舞台探訪(聖地巡礼)に行ってきた。
続きを読む

舞台探訪に行ってきたよぉ 〜井波編〜(「ゆるゆり なちゅやちゅみ!」聖地巡礼)

最近「ゆるゆり」にハマっているので、帰省のついでに舞台探訪(聖地巡礼)的なやつに行ってきた。

まずは「ゆるゆり なちゅやちゅみ!」(OVA)に登場する、井波(現・南砺市)の閑乗寺公園から。(実家から近い&小さい頃から何回か行っていて思い出深いので) 続きを読む