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

技術書典7に、Haskellで競技プログラミングをやる本を出します

今週末の9月22日（日）に池袋で開催される技術書典7に、新刊「Haskellで戦う競技プログラミング」を出します。既刊「LaTeX処理自動化ツールClutTeX 使い方とその仕組み」も改訂して紙の本を頒布します。

技術書典7について、公式サイトより引用：

日時 2019/09/22 (日) 11:00〜17:00
場所 池袋サンシャインシティ 展示ホールC/D（文化会館ビル2/3F）
主催 TechBooster/達人出版会
一般入場は11:00～13:00のみ有料です。詳細はこちら

技術書典7

気になる方はサークル詳細からチェックリストに入れてください：

当サークルが配置されたのは「し03D」です。今回の技術書典は2Fの展示ホールDと3階の展示ホールCで行われますが、当サークルは2Fの展示ホールDです。会場が1箇所だった前回と同じ場所です。

続きを読む →

AtCoderで青色になった

コメントを残す

7月7日のAtCoder Beginner Contest 133で青色になりました。青色というのは上位7%に相当するらしいです。

「水色に上がった」記事からまだ1ヶ月ちょっとしか経っていないので、新しいHaskellネタも「青色に上がるためにこれを勉強した」みたいなネタもないのですが、適当に自分語りでもしてお茶を濁そうと思います。

続きを読む →

HaskellでAtCoderに参戦して水色になった

コメントを残す

3月下旬からAtCoderのRatedコンテストに参加しています（AtCoderプロフィール）。この度、5月26日のABC128でようやく水色になりました（AtCoder社長の記事によると、これは上位15%に相当するらしいです）。

使用言語はHaskellです。コンテストの時間中に提出したコードは全てHaskellだったと思います。

この記事では、Haskellを使う理由や、Haskellで競技プログラミングをするコツ、AtCoderでHaskellを使う際のアレコレなどを書いていきます。「水色になるための方法」みたいな話はしません（できません）。

続きを読む →

技術書典6の振り返り

コメントを残す

先日の技術書典6では、新刊「LaTeX文書処理自動化ツールClutTeX 使い方とその仕組み」を無事に（ほぼ）完売することができました。現地で手に取ってくださった皆様、（現地またはBOOTHで）購入してくださった皆様、ありがとうございました。

新刊の電子版（PDF版）をBOOTHで販売中です：LaTeX文書処理自動化ツールClutTeX 使い方とその仕組み – だめぽラボ – BOOTH

続きを読む →

技術書典6に、ClutTeX（LaTeX文書処理自動化ツール）の本を出します

コメントを残す

4月14日（日曜日）に池袋で開催される技術同人誌即売会「技術書典6」に、「だめぽラボ」としてサークル参加します。

技術書典6（公式サイト）

サークル詳細 | だめぽラボ | 技術書典 ←気になる方はサークルチェックリストに入れてください

サークル（だめぽラボ）としてのページ：https://lab.miz-ar.info/

日時と場所について

公式サイトより：

日時 2019/04/14 (日) 11:00〜17:00
場所 池袋サンシャインシティ2F 展示ホールD（文化会館ビル2F）
主催 TechBooster/達人出版会
一般参加は11時～13時のみ有料

https://techbookfest.org/event/tbf06

当サークルの配置は か15 です。

頒布物について

筆者が作っているLaTeX処理自動化ツール「ClutTeX」についての本を出します。

利用ガイドの他に、LaTeX処理の自動化に関する知見を詰め込んでいます（第3章）。そのため、単なるマニュアル以上の価値があるかと思います。

この他、既刊「代数的数を作る 根と因数分解のアルゴリズム」のダウンロードカードも販売します（紙の本は販売しません。紙の本は見本として置きます）。なお、既刊は BOOTH でも購入可能です： https://damepo-lab.booth.pm/items/1051034

さらに、新刊または既刊をお買い上げの方に、「だめぽラボステッカー」を配布します！今回の技術書典で購入してくださった方のほか、過去に技術書典またはBOOTHで既刊をお買い上げくださった方も対象です。その際はその旨をお伝えください（感想もあれば嬉しいです）。

冬キャンと曇り空、ときどき流れ星

1件のフィードバック

12月の天文現象といえば、中旬に極大を迎えるふたご座流星群だ。見たい。しかし東京では空が明るすぎる。空が暗いところで見たい。

車があれば荷物を載せて好きなところに移動できる（し、車中泊だってできる）が、一人ではコスパが悪い。公共交通機関で移動し、キャンプして星を見よう。

どこに行くか。この時期、内陸部（山梨や長野）は寒そうだ。筆者が冬にキャンプをするのは初めてなので、あまり寒いのは避けたい。太平洋に面した海沿いならまだ暖かいだろうか。東京からほど近くて海沿いで空が暗そう、となると伊豆か房総か。

房総は公共交通機関でのアクセスに便利そうなキャンプ場があまり見つからなかった。一方、伊豆は初めての冬キャンプにはちょっと遠いような気がした。

では、箱根はどうか。調べてみると、湖のそばに良さそうなキャンプ場があるようだ：芦ノ湖キャンプ村

芦ノ湖キャンプ村は、オフシーズンの平日はテントサイト1泊1000円とリーズナブルで、また、この時期は利用客が少ないので予約なしでも大丈夫そうだ。

星を見ることに関しては、小田原や沼津の市街地にやや近い（光害があるかも）ことが不安要素だが、そこそこの星空は期待できるだろう。 続きを読む →