Taka0007

0-to-deeplearning

「0から作るディープラーニング」の実装レポジトリ

2023seminar.1st-term

2023前期のゼミの実装結果をまとめるレポジトリ

2023seminar.2nd-term

2023年後期のゼミ実装レポジトリ

About-Taka.io

AtCoder

AtCoderの正答コードを集約したレポジトリです。

Lean4

Lean4の証明をまとめたレポジトリ。

paper-survey

論文・ドキュメントサーベイを行うレポジトリ。余力があれば実装もします。issueにて文献管理

TID

今日やったこと,学んだこと,解いた問題,読んでおきたい資料など

AI-100-Knock

実践AIモデル構築100本ノックの実装レポジトリ

Algo-shiki

アルゴ式

CPU_FirstActivityWithShinrabansho

CPU制作用レポ

Lean4-try

定理証明支援系Lean4のお試しレポジトリ

Library

自作ライブラリ

Math-exercises

数学の問題を解いていくレポジトリです。Markdown形式で書きます。

Math-notebook

数学についてまとめたノートをまとめるレポジトリ（作りかけのものも多々あるのでご了承ください）

Matlab

Matlab repository

My-page

Numerical-calculation

数値計算プログラムを実装していくレポジトリ

Octave

Octaveレポジトリ

OMC

OMCの解説や実装を行うレポジトリ。今は実装コードしか載っていませんが、おいおい普通の解法も載せていこうと思います。（実際のコンテストではプログラムを組むことは禁止されています。ご留意ください。）

PRML

PRML(パターン認識と機械学習)の実装・ノート作りなどを行うレポジトリです。万一ミス等あったら教えていただけると助かります。

Quantum-Native-Dojo

Quantum Native Dojoの実装まとめ。（時間できたらやります）

Quantum_scientific_computing_with_pyscf

pyscfを使用した量子科学計算

song-recommendation-apps

オススメの曲を出力するアプリです。Streamlitで公開予定

streamlit-example

Example Streamlit app that you can fork to test out share.streamlit.io

Taka0007

Config files for my GitHub profile.

Tex

Texのテンプレとか.. CloudLatexで動作確認済み

theorem-proof

証明していきたい定理をissueにまとめていきます。証明はレポジトリにtexで配置予定。証明完了したらissueはclose。おいおいleanでも翻訳していく予定です。

Useful-Links

役に立ちそうなリンクをREADMEにまとめています

yuki-coder

yuki-coderの解答ソースコードまとめ