Taka's repositories
TID
今日やったこと,学んだこと,解いた問題,読んでおきたい資料など
AtCoder
AtCoderの正答コードを集約したレポジトリです。
Lean4
Lean4の証明をまとめたレポジトリ。
PF_InturnTask_ans
PFのインターン課題を解いていくレポジトリ
Quantum_scientific_computing_with_pyscf
pyscfを使用した量子科学計算
Taka0007
Config files for my GitHub profile.
yuki-coder
yuki-coderの解答ソースコードまとめ
OMC
OMCの解説や実装を行うレポジトリ。今は実装コードしか載っていませんが、おいおい普通の解法も載せていこうと思います。(実際のコンテストではプログラムを組むことは禁止されています。ご留意ください。)
PRML
PRML(パターン認識と機械学習)の実装・ノート作りなどを行うレポジトリです。万一ミス等あったら教えていただけると助かります。
paper-survey
論文・ドキュメントサーベイを行うレポジトリ。余力があれば実装もします。issueにて文献管理
Library
自作ライブラリ
0_to_deeplearning
「0から作るディープラーニング」の実装レポジトリ
Intro-to-Fortran-Programming-for-Numerical-Computing
数値計算のためのFortran90/95 プログラミング入門の実装レポジトリ
Algo-shiki
アルゴ式
2023seminar.2nd-term
2023年後期のゼミ実装レポジトリ
theorem-proof
証明していきたい定理をissueにまとめていきます。証明はレポジトリにtexで配置予定。証明完了したらissueはclose。おいおいleanでも翻訳していく予定です。
Quantum-Native-Dojo
Quantum Native Dojoの実装まとめ。(時間できたらやります)
song-recommendation-apps
オススメの曲を出力するアプリです。Streamlitで公開予定
streamlit-example
Example Streamlit app that you can fork to test out share.streamlit.io
Useful-Links
役に立ちそうなリンクをREADMEにまとめています
AI-100-Knock
実践AIモデル構築100本ノックの実装レポジトリ
Lean4-try
定理証明支援系Lean4のお試しレポジトリ
Numerical-calculation
数値計算プログラムを実装していくレポジトリ
Math-notebook
数学についてまとめたノートをまとめるレポジトリ(作りかけのものも多々あるのでご了承ください)
2023seminar.1st-term
2023前期のゼミの実装結果をまとめるレポジトリ
Matlab
Matlab repository
Tex
Texのテンプレとか.. CloudLatexで動作確認済み