B4 @ Programming Systems Group, Department of Computer Science, School of Computing, Institute of Science Tokyo (formerly Tokyo Institute of Technology)
Everything about computing is what I love 😄
My Blog (https://www.abap34.com/blog) RSS Feed 📝
- Apr 23 - 東京科学大学デジタル創作同好会 traP と共同でデータ分析コンペを開催しました!
- Apr 07 - 定数伝播の MOP 解の決定不能性の証明
- Mar 31 - 2024年度後期振り返り
- Mar 01 - ROC-AUC の解釈
- Feb 16 - Julia Compiler Internals (06) - Implementing Small Julia Compiler
- Feb 09 - 定理証明支援系 「lapisla-prover」 を開発しました!
- Dec 06 - 開発環境を紹介しますアドベントカレンダー @abap34