Kea DHCPのIPアドレスリース数のメトリクス取得が難しかった話
2026.04
About
生年月日:2005年5月7日(21歳)
同志社大学 理工学部
数理システム学科 3回生
同志社SF研究会(DSFA) 2025年度会長
京大マイコンクラブ(KMC) 49代入会
2026/05
2026/02
JANOG57 Meeting NOCにて、ServerチームDHCP班として参加しました。
2025/08
2025年度のサマーインターンシップで、『セキュリティプラットフォーム(認証・認可、暗号鍵、電子証明書)の開発・運用』コースに参加しました。
2024/06
2024年4月に行われた応用情報技術者試験を受験し合格しました。
2024/04
同志社大学理工学部 数理システム学科に入学しました。
2024/02
Typescriptを用いたライブラリ開発などの業務
Works

2026年
AstroのislandとしてMoonBitでUIを書くためのインテグレーションです。mizchi/signalsによる更新とSSR/ハイドレーションに対応しています。

2025年
WebSocket-firstのファイルベースルーティングWebフレームワークです。 ページアクセス時に構築したwebsocketセッションが全ページに渡って継続します。 htmlやjsonのやり取りをhttpではなくwebsocketで行うことで、オーバーヘッドの削減を実現しています。

2025年
RSSを用いた投票結果の通知機能や、settings.jsonによる投票設定などの機能を持つ、調整さんライクな予定投票サイトです。 SF研究会での上映会の日程決定に使うことを目的に作成し始めました。 バックエンドはAWSの勉強も兼ねて、マルチAZ構成で構築しています。 【工事中】(AWS費用が思ったより嵩んだため、一時的にバックエンドを停止中です。)

2024年
同志社大学の学生用ポータルサイトDUETに、より詳細な情報を表示させます。 自身の成績を確認できるページに、各授業の成績分布情報や、同じ授業を受けた生徒の目安GPAなどを表示します。 パソコン向けにはChrome、スマホ向けにはiOSのSafariの拡張機能として公開しています

2024年
数学などの授業のノート作成に特化したマークアップ言語です。VSCodeの拡張機能として提供され、.w1exファイルの保存時にリアルタイムでノートを生成します。 MarkDownのような既存のマークアップ言語との差別化として、視覚的なノート作成に特化しています。数学の授業でのノート作成に自分で使用するために作りました。

2025年
『自作キーボード設計ガイド』という本を参考に作成しました。設計時にミスをしまくったのと、元々作ること自体が目的だったので常用はせず。

2025年
『OS in 1,000 Lines』というサイトに沿って、RISC-V向けの小規模OSを作成しました。 サイトに載っていない内容として、簡易的なディレクトリ構造とcd, ls, pwd等のコマンドを追加しました。

2025年
このサイトです。

2024年
同志社大学は各建物に非常に魅力的な名称を付けています。さらに、シラバス等では簡潔でルールのない略称が使われているため、略称から元の建物を推測するには豊かな想像力が必要です。 そこで、建物名と略称とその位置を対応付けたマップを作成しました。

2020年
2020年度SecHack365で制作したプログラミング言語です。