興味のあるスキル
Python
ランサーズ
自己紹介
趣味で学んでいたプログラミングを活かして転職をしようと考えています。仕事として使えるプログラミングを学びたいです。
【過去に作ったもの】
オセロのシュミレーターとQ学習の実装(python)
https://github.com/gaxiiiiiiiiiiii/othello
数独ソルバー(Haskell)
https://gist.github.com/gaxiiiiiiiiiiii/0fab7374d7c3ef8f2a0801972aa0aea5
あるサイトへの記事投稿のメール通知(GAS)
https://gist.github.com/gaxiiiiiiiiiiii/654265d57bf74d400427c0ff1d31295b#file-welcome_to_alis-gs
公理的集合論の形式化(Coq)
https://github.com/gaxiiiiiiiiiiii/MK