Works
=============三行で=============
レビューできます
数学・音楽・SF・ゲームなどに少し知識があると思います
プログラミングも少しだけできます
=============目次=============
大学生以降(2021/4-)の名義はすべて「Nagara(ながら)」です。
=============📖小説=============
大学以前は省略
2022
- 『水平線』 WORKBOOK 116 (KUSFA) 収録
2023
=============📝レビュー等=============
2021
- 『色のない緑』 WORKBOOK 114(KUSFA) 収録
- 『バナナ剥きには最適の日々』 〃
- 『Boy's Surface』〃
2023
以下すべて 『京フェス特集号(WORKBOOK118)』(KUSFA)収録
- 『ガーリー・エアフォース』
- 『なれる! SE』
- 『僕らのセカイはフィクションで』
- 『葉桜が来た夏』
- 『ワールドエンドの探索指南』
- 『賭博師は祈らない』
- 『吸血鬼に天国はない』
- 『バイオスフィア不動産 the Inside Stories of Bioshpere 3』
- 『明日の罪人と無人島の教室』
- 『ぴぴぴ・ぴっぴぴ』
- 『我もまたアルカディアにあり』
インタビュー等
- 『周藤蓮×夏海公司対談』インタビュー・文字起こし
- 『久永実木彦×ホークマン×メカルーツ対談』文字起こし
- 『当世大学生SFファン会議』文字起こし
=============🎹音楽=============
大学以前は省略
- 『illuminate you...』kitchon party! vol.3(〃)収録 2023秋M3頒布
- 『From the Foorprints(Nagara's Techcore Remix)』 klkkl 1st EP From the Foorprints 収録 2023秋M3頒布
- 同人ノベルゲーム『廃遊園地のメメントメモリア』
C102 (2023/8/13) 頒布 / Steam配信中
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月)
- 院試 (B3 1月-)
自主ゼミ(S2S以外)
- 『Proofs and Types』Jean-Yves Girard (B2 10月 - 3月)
- 『コンピューターサイエンスにおける様相論理』鹿島 (B2 2月)
- 『The Formal Semantics of Programming Language』Winskel (B3 4月-6月, 8月-10月)
大学院生以上チューター入りゼミ
- 『計算理論の基礎1,2,3』Sipser (B1 7月-2月)
- 『集合と位相』内田 (B1 3月)
- 『数学基礎論序説』田中 (B3 通年) ←卒業科目(聴講参加・発表あり)
- 『Reasoning about knowledge』(B4 通年)←卒業科目(B4 正規受講)
ゼミはすべて完遂しました
個人的に読んだ本のうち、特筆性のあるもの
- 『Computational Complexity』Arora, Barak (B2 5月-9月)
- 『A Tutorial on Computable Analysis』(B2 2月-3月) ←謎のpdf
まともな発表
- S2S春セミナー2022/3『機械学習と最小二乗法』 回帰分析における最小二乗法、正則化と、"二乗"を導く根拠(正規分布)
- S2S新歓セミナー2022/5『爆速理解☆PvsNP』 オートマトン、チューリングマシン、P/NPの定義
- S2S春セミナー2023/3『実数の計算理論入門』 計算機で扱える実数の問題とかについて
- S2S新歓セミナー2023/5『Complexity Zoo』 P/NPとかと複雑性のクラスとかの紹介
- 講究2023最終発表『計算可能実数と左c.e.実数』 定義と、この2つが真の包含関係を持つことの証明
pdf
かいてない すいません
自分がチューター側のゼミ
- 『コンピューターサイエンスにおける様相論理』(B3 8月-10月)
行ったイベント
- 数学基礎論サマースクール2023 (2,3,4日目)
- CCC2023(Continuity, Computability, Constructivity, From Logic to Algorithms) (いくつか)
=============その他=============
- TFT Highest Master (上位0.5% Set4)
- 『廃遊園地のメメントメモリア』Switch/PS4 スクリプト(2024/8 発売予定)