ユーザー登録で「300円クーポン」プレゼント!まずは無料登録から!

がくし

募集

予算
10,000円/月 〜 20,000円/月
提案数
4人が提案中

メンティーサマリー

契約中 0
累計 1
キャンセルリクエスト 0
  • NDA(機密保持契約)
  • 0 フォロワー
  • 最終ログイン --
  • 登録日 2021/03/12

自己紹介

趣味で学んでいたプログラミングを活かして転職をしようと考えています。仕事として使えるプログラミングを学びたいです。


【過去に作ったもの】
オセロのシュミレーターと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

スキル

Python 〜1年
OCaml 半年未満
Haskell 〜1年
Coq 〜1年