「日記」カテゴリーアーカイブ

技術書典5に初サークル参加した記録／前日まで

前回の記事で告知したように、10月8日に池袋サンシャインシティーで開かれた技術系同人誌即売会「技術書典5」に、「だめぽラボ」としてサークル参加した。

この記事ではその経過と判断を、日記に近い形でまとめておく。この記事には前日までの分を書き、当日の実際の売れ行きは別の記事に書く。また、冊子の内容や技術的な話（PandocやLaTeXの話）もこの記事には書かず、別の記事に書く。 続きを読む →

日光白根山登山

1件のフィードバック

すでに8月の半ばになってしまったが、7月に行った登山について書く。

計画

今年は梅雨明けが早かった。夏山シーズンの到来だ。東京は酷暑だ。山の上に逃げるしかない。

7月中に1泊ぐらいで山に行っておきたい。関東近郊で自分が行ったことのない山として、いくつかの候補の中から今回選んだのは、日光白根山である。 続きを読む →

八ヶ岳登山

2件の返信

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

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

計画

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

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

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

型システムの勉強

1件のフィードバック

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

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

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

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

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