記事一覧

2025年2月22日
NoJa(Non-Japanese) Relay has started!!

comavius

2025年2月9日
冬ハッカソンで定理証明支援系 「lapisla-prover」(and more !) を開発しました！

abap34 他

2024年12月21日
コミックマーケット105に参加します！

comavius 他

2024年12月19日
Borgo-langを使ってみたかった

comavius

2024年12月11日
Nixで実行環境のライセンス違反を予防する話

comavius

2024年12月5日
ずんだ会を開催したのだ！

kenken 他

2024年6月30日
【競プロ】RyeでOnline-Judge-Toolsを導入する

comavius

2024年4月22日
My blood type is C【コーヒーのすゝめ】

comavius

2024年4月13日
量子コンピューター輪読会やっています

comavius

2024年3月21日
メタヒューリスティクスで美しくいたずらしたい！

comavius

2024年3月18日
最強のノートPCを作った話【LinuxInstallBattle】

comavius

2023年12月22日
2023冬Hackathon03班 -新感覚タスク管理アプリ「Yaranai」-

Pugma 他