出来るものは出来た。出来ていないものも多い。 さて、今年も後半戦。目標を建てねば。その前に6月の振り返りをします。 読み終えた本 今月は読み終えた本が少ない。記録によれば以下の通り。 計算理論の基礎 [原著第2版] 1.オートマトンと言語 プログラミン…

半月ごとに見直し。 進捗や自身の状況、興味の方向の変化などに対応するため、半月ごとに見直しをする。 niszet.hatenablog.com 今月後半のやること 追加 おもしろ同人誌バザール向けに書く同人誌のネタの確保 身の回りの整理（優先順位はこれが最高に設定）…

本のサイズとぴったり合う段ボールに本を入れていく いろいろあって、身動きできるように身の回りの整理をしています。今週は散らかっている本をまとめてました。 今までAmazonの空き箱を使っていたのですが、Amazonで調べると本のサイズに合う段ボールが売…

ちょっと前に書いた日記が埋もれていたので一旦公開。 先日読んだ定理証明手習いですが、原著はThe Little Proverといい、The Little er （The ***erのパタンもある）のシリーズ？で出ている書籍の1つでした。 んで、Amazonの奥地に行って色々調べていたとこ…

あとでまとめるとして、 とりあえず関連するツイを貼る。これに続いてる内容も読むこと。 あとずっと文書内リンクについて考えてた…。文書内リンクの場合、特定の座標から何かの対象を指すことになるんだけど、それがある文字列の場合とセクションなどのブロ…

もう1日目が終わろうとしているが…。 input 今月もひたすらinputをしていく。読書メーターとStudyplusで進捗を書いているので、やってないことはすぐわかる。 以下から数冊読み終える目標。 プログラミング言語の基礎概念 先月から引き続き。残るは型理論。 …

最近はPandocのことを考えないようにしていたんですが、LT用の資料を作ろうと思って頭を使い始めたら色々出てきたので整理中です。 Pandocに関係して今考えていることは大きく分けるとこんな感じに分類されます。 「初心者にわかりやすい書籍」はどのように…

モデル検査に入門しているのです。 色々あって、モデル検査[初級編]を読んでます。出版社さんのサイトはこちら。今はAmazonの在庫があるのかな？なければyodobashiとか色々選択肢はあるはず。まだ在庫はあると思うので。 www.kindaikagaku.co.jp ちょっと古…

在宅が長引いてくると、部屋の快適度を上げたくなりますね。 さて、コロナのアレコレであまり外出せずに家にいる時間が増えてきました。結果として、部屋の快適度を上げないとやってらんねーってことで机や椅子などを整備しつつ、部屋を掃除していたのですが…

タイミングが良かった気がする。 先月の話ですが、以前よりずっと欲しい欲しいと言っていたスマホを母用に買ってみました。 初期設定等は全て私がやっておいて、使いたいと言っていたLINEとFaceBook、YouTubeの使い方を教えた感じです。 ポイントが沢山余っ…

知ってたけど見ないふりをしていたのだ。 最近はまとまった時間が確保できるため、時間の多くを読書にあてるようにしている。読書感想文はいずれまたそれぞれについて書く。定理証明手習いについては書いたね。 さて、読書メーターというサービスがあって、…

2020年は1/1から作業を開始した。 喫茶店とかでの作業、あまりやったことがなかったのですが、近所の小さな喫茶店とかで原稿の校正とかしていたらそれなりに捗ったので、今年もやってみようと思っています。しかし正月期間は個人商店は基本的にお休みになっ…

参加し終わったら記録のために日記を書こう。 ということで、コミケとしては私の初のサークル参加となるコミケット97(C97)が無事に終わりましたので、記録のための日記を書きます。2019年もこれでおしまいですが、おおむね良い終わり方を迎えられたのではと…

日曜に五時間目の実習を終えました。 いやー、AT車ってギア変えなくて良いので運転楽で良いですねぇ…。 ということで、5時間の実習を終え、無事にペーパードライバー講習を終えたのでした。 実際に車道に出てみると、世の中は危険がいっぱいだし、とても怖い…

とりあえず入金はされている模様。 ここを見ると私のアイコンがある。ということで、Pandocの開発の合間にコーヒー飲んでほしいので最近できたスポンサー機能を使ってみたのでした。 github.com っていうだけの記事ｗ 自分の好きなOSSの作者に直接課金できる…

これもただの日記だよ。 バンドネオン仲間の結婚式二次会で久々にいろんな人に会って刺激を受けたので、今日は1年ぶりくらいに楽器に触りましたね。 流石に開ポジの右はほぼ問題ないんだけど、開左、閉右、閉左の順に怪しくなっていきますねぇ。 毎日朝10-20…

記録だけ。 そんなわけで、MFT2019に行ってきました。 makezine.jp 1日目は展示もほとんど見ずにだべってましたね…。まぁそれはそれでよい時間なのでなのですけど。 で、2日目も行ってとりあえず大体見て回ったと思うのですが、帰ってからTwitter見ると、ア…

なかったので恒例の。 1- 魔法少女契約管理システム 設計書 読了。「すべてのエクセルドキュメントを～」のサンプルドキュメントのようなもの、とのことですが思ったより設計書になっててすごい。Markdownからdocxへの変換で書かれた同人誌はもっと増えてほ…

ページ数でみてもまだ全体の1/4くらい…。 さて、Haskellの本がどんどんと手元に集まってきて、勉強中です。 今は翔泳社の入門Haskellプログラミングを読んでます。 www.shoeisha.co.jp この本は手を動かして学ぶ方向が強いです。既に他のプログラミング言語…

存在はずっと知っていたけど行ったのは初めて。 おもしろ同人誌バザール​大崎はHPもあるのでイベント概要はそっちを見ればよいかも。 hanmoto1.wixsite.com コミケ終わってりんかい線で大崎まで出ると駅前でやってます。コミケ行ってきた証（戦利品）を見せ…

南館はとても涼しくて良かった。 1年後とかに、「あれ？行ったんだっけ？」ってならないように記録を。 今年は初の4日間開催とともに、会場も変化があって、東が使えない代わりに南が増え、あと青海も使われた。私は基本的に評論とか技術にしかいかないので…

体感満足度は非常に高かった。 そんなわけで、昨日5/3は埼玉県川口市で行われた、実用書のみを扱った「同人即売会」の銭けっと（埼玉銭けっと）に行ってきたのです。 公式のHPはこちら。 zeniket.jimdofree.com ジャンル的には「商業・学術・技術・紀行」と…

節目なので そんなわけで明けましておめでとうございます。 令和の時代も色々とやっていきたいですね。 さて、私事ではございますが、去る4月30日をもって、11年ほど勤めた職場を去り、無職（）になりました。 そもそも私は何屋なのか…。 このブログではRかP…

今日から本気出す かくして、転・確・典・壇のイベントを終え、力尽きて二日ほど寝ていたのであった。 いやーもう無理できない歳ですね。 とはいえ、GW前に各種手続きをしておかないと大変なことになるので今週後半はゆるゆると復活していきます。温泉とか行…

今回、ABに比べてCがえらい簡単だったのだが…。 今回は問題の条件をちゃんと読むと簡単になる、という問題が多かったのかな。解説を見た感じ。 Cはボトルネックがあるからそこで律速されるな…ということに気づいたのですぐ解けましたが、Bが恐ろしく汚いコー…

でももうちょっと頑張ろう まだ参加回数も5回に満たないのですが、ぼちぼちAtCoderのしくみには慣れてきましたね。 今回はWAはなく、TLEがCとDで出た（Dはそのまま時間切れ）だけで、今までのAとBで無限に時間を溶かすことがなくなってよかったです。まぁCは…

高音質な録画機はもう需要がないのだろうか…？ 演奏会とかで録画をする必要があるときがあって、いつもQ3HDを使っていたのですが、そろそろ年数もあるし、買い替えかな…と思ったのですが、どうもこの需要はあまり世の中的にないのか、あまり機種が存在しない…

FGOはじめて1か月…。 最近はFGOとアズレンをやってるんですが、先日のインフルエンザのときに暇で暇で…とひたすらFGOやっていたらイベント完遂出来そうだったのでこの週末に全部の資材を回収してすべてのステージをクリアして終わりました。イベント完走とか…

ひきはじめの段階ではわからないものですねぇ…。 そんなわけで、久々にインフルエンザにかかってしまいました。今流行のA型ですね。 土日にいろんな方とお会いしたのですが、何人かの方がインフルでしたーってTwitterやLineで報告していたので、あれれー？っ…

どちらも良書。 専門的な知識が3000円とか6000円とかで買えるの、良いですよねぇ。CQさんの方はセンサ寄り、丸善さんの方は回路寄りな気がします。どちらもあわせて読むと理解が深まると思います。 shop.cqpub.co.jp www.maruzen-publishing.co.jp まだ全体…