個人サイト（このサイト）をリフォームしました。フレームワークとしては Docusaurus を使っています。

本稿では、リフォームのモチベや、Docusaurus 使ってみてどう？みたいな話を書いています。

「〇〇を支えてそうな技術 #1」という発表イベントを「あかあおみどり」という組織と共同で開催しました。発表内容は情報系に掠っているものならなんでもよく、「支えてそう」の判断は独断と偏見でよいものとしていました。

本稿では、まずはじめに本イベントや「あかあおみどり」を概観します。次に、本イベントの開催経緯を説明し、イベント参加者数といった数字を中心にイベントをふりかえります。そして僕自身の発表内容をスライドを添付する形で紹介し、最後に個人的な感想をまとめています。

高知自主ゼミ栽培サークル CEED が開催するイベント「対面 CEED in 高知 ~回帰~」に参加しました．本稿では，このイベントに参加した感想を雑多に述べています．

技育展 2023 に参加しました．僕は個人開発した定理証明支援系を発表しました．ブロック予選と決勝大会（決勝大会はさらにファーストラウンドとファイナルラウンドに細分化される）があり，僕はファーストラウンド敗退という結果でした．

この記事では，まず初めに，この記事に添付する発表資料を補完する形で，定理証明支援系を作った動機や各開発アプローチの採用理由を述べています．最後に，技育展 2023 に参加した感想を雑多に書き殴っています．

サイボウズさんの内定を承諾しました．入社後は生産性向上チームというチームでエンジニアとしてやっていきます．

サイボウズインターンシップ 2022 に参加しました．9 つあるコースのうち，僕は生産性向上コースというところに行きました．生産性がチョモランマ！

3 行で概要をまとめる​

• 期間は短い（5 営業日）がほとんど就業型インターン
• メンターさんと一緒にモブプログラミングできる
• ガチ障害に対応できるチャンスがある

忙しい人向けスライド​

Chatwork サマーインターンシップ 2022 に参加しました．コースがフロントエンド（FE）とバックエンド（BE）に分かれていて，僕は FE の方に参加したのですが，それなのにこの個人ブログはまだテンプレートを使っててヤバいなーとなっています．FE の腕が光るところなのに！ 時間確保せんとね．

3 行で概要をまとめて​

• 講義パートと開発パートで分かれている
• フロントエンドは TypeScript / React ，バックエンドは Scala / Akka HTTP で DDD をガッツリ学習・実践できる
• 関数型言語や型の話で盛り上がれる

ゆめみ フロントエンド 1day インターンに参加しました．ク s……伸び代しかないコードをモブプログラミングの形式でリファクタリングするという内容でした．

成果物はこちらのリポジトリのブランチで公開されています．

技育 CAMP ハッカソン vol.7に参加しました．前回から約 1 ヶ月ぶりの参加です．今回は個人での参加だったので，チーム名が二人ユニットから一人ユニットに退化してしまいました．かなしみ．

とりあえず成果物の発表スライド．

パンチカードを作りました！！！　Visual Studio マーケットプレイスにて公開中なのでぜひ遊んでみてください！

また，今回は優秀賞をいただきました！　ありがとうございます！！

技育 CAMP ハッカソンの参加は今回で 2 回目となります¹．前回は一人での参加でしたが，今回は研究室の先輩と二人での参加でした．おかげさまで，前回の「一人ユニット」というチーム名から「二人ユニット」という名前に昇格できて良かったです．

何はともあれ，まずは成果物の発表スライドです．

……完成しませんでした！

終