Works
rims M2
=============目次=============
=============📖小説=============
大学以前は省略
2022
- 『水平線』 WORKBOOK 116 (KUSFA) 収録
2023
2024
2025
- 『瞬きも永遠のうち』 京都大学SF（記号社）収録
2026
- 『天啓』 WORKBOOK 125（KUSFA）収録
=============📝レビュー等=============
2021
- 『色のない緑』 WORKBOOK 114(KUSFA) 収録
- 『バナナ剥きには最適の日々』 〃
- 『Boy's Surface』〃
2023
以下すべて 『京フェス特集号(WORKBOOK118)』(KUSFA)収録
- 『ガーリー・エアフォース』
- 『なれる！ SE』
- 『僕らのセカイはフィクションで』
- 『葉桜が来た夏』
- 『ワールドエンドの探索指南』
- 『賭博師は祈らない』
- 『吸血鬼に天国はない』
- 『バイオスフィア不動産 the Inside Stories of Bioshpere 3』
- 『明日の罪人と無人島の教室』
- 『ぴぴぴ・ぴっぴぴ』
- 『我もまたアルカディアにあり』
インタビュー等
- 『周藤蓮×夏海公司対談』インタビュー・文字起こし
- 『久永実木彦×ホークマン×メカルーツ対談』文字起こし
- 『当世大学生SFファン会議』文字起こし
2024
- 『キズナイーバー』 WORKBOOK 119 (KUSFA)収録
=============🎹音楽=============
大学以前は省略
『LIGHTFORM EP』 - M3春2025
https://www.youtube.com/watch?v=cVoNEb5VgiE
- 『廃遊園地のメメントメモリア』(同人ゲーム)
C102頒布 / Steam, Switch, PS4配信中
BGM12曲, ED作編曲 / ほぼ全曲のMixing,Mastering / すべてのSE / ED『さよならにふれて』
ほぼすべてのプログラム / 移植作業
https://www.youtube.com/watch?v=S8fdkVdETzo
=============📐数学=============
自主ゼミ(S2S)
- 『離散群の幾何学』藤原 (B1 7月-3月)
- 『幾何学I 多様体入門』 坪井 (B2 8月-2月)
- 『可換代数入門(邦訳)』Atiyah, Macdonald (B2 8月 - B3 11月)
- 『Proofs and Types』Jean-Yves Girard (B2 10月 - 3月)
- 『コンピューターサイエンスにおける様相論理』鹿島 (B2 2月)
- 『The Formal Semantics of Programming Language』Winskel (B3 4月-6月, 8月-10月)
- 院試 (B4 6月 - 8月)
大学院生以上チューター入りゼミ
- 『計算理論の基礎1,2,3』Sipser (B1 7月-2月)
- 『集合と位相』内田 (B1 3月)
- 『数学基礎論序説』田中 (B3 通年) ←卒業科目（聴講参加・発表あり）
- 『Reasoning about knowledge』（B4 通年）←卒業科目（B4 正規受講）
- 『Basic Category Theory』（B4 11月-3月）
その他読んだ本/論文
- 『Computational Complexity』Arora, Barak (～12章. B2 5月-9月, 20章 M1)
- 『A Tutorial on Computable Analysis』(B2 2月-3月) ←謎のpdf
- 『Closed Choice and Uniform Low Basis』(M1)
- 『Completion of Choice』(M1)
- 『Sequential Discontinuity in the Weihrauch Lattice』
- 『The discontinuity problem』
- 『数学基礎論』 新井 (6章, M1)
- 『Higher Recursion Theory』 G.E.Sacks
まともな発表
- S2S春セミナー2022/3『機械学習と最小二乗法』 回帰分析における最小二乗法、正則化と、"二乗"を導く根拠(正規分布) 1.5h
- S2S新歓セミナー2022/5『爆速理解☆PvsNP』 オートマトン、チューリングマシン、P/NPの定義 1h
- S2S春セミナー2023/3『実数の計算理論入門』 計算機で扱える実数の問題とかについて 1.5h
- S2S新歓セミナー2023/5『Complexity Zoo』 P/NPとかと複雑性のクラスとかの紹介 1h
- 講究2023（最終回）『計算可能実数と左c.e.実数』 定義と、この２つが真の包含関係を持つことの証明 20min
- 計算理論ゼミ2025/4『Between C and UC』 Weihrauch Reducibilityの入門とか 3h
- 計算理論ゼミ2025/6 （タイトルなし） Arora-Barakの7,9,20章 3h
- 計算理論ゼミ2025/10『解析的階層入門』 解析的階層の基本的な話を3時間で導入する 3h
pdf
Higher Recursion Theoryを読みながら訳している途中（声かけてもらえば渡します）
自分がチューター側のゼミ
- 『コンピューターサイエンスにおける様相論理』(B3 8月-10月)
行ったイベント
- 数学基礎論サマースクール2023 (2,3,4日目)
- CCC2023 (いくつか)
- ALC2025（アルバイト 発表無し）
- CCA2025（適当に聴くだけの人）