京都大学数学系の院試の問題と解答です
☆60Jun 11, 2023Updated 2 years ago
Alternatives and similar repositories for graduate_exam
Users that are interested in graduate_exam are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 数学系のためのLean勉強会☆96Mar 7, 2026Updated 2 months ago
- List of the output of #help command of mathlib4, including list of all tactics, commands...etc☆24Updated this week
- ☆27Feb 8, 2026Updated 3 months ago
- Math textbook. Trial for social textbook writing.☆21Feb 8, 2015Updated 11 years ago
- ruby授業用（課題提出）☆11Jul 20, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Training and evaluation scripts for JGLUE, a Japanese language understanding benchmark☆18May 1, 2026Updated last week
- A Vim Plugin / Run Nyancat on Vim's popup☆11Sep 27, 2020Updated 5 years ago
- R Examples☆11Apr 3, 2019Updated 7 years ago
- MATLAB code used for preprocessing and decoding analyses in our paper: "Expert programmers have fine-tuned cortical representations of so…☆11Dec 2, 2020Updated 5 years ago
- This repository is for sharing the scripts of EM algorithm and variational bayes.☆21Dec 9, 2023Updated 2 years ago
- Model Predictive Path Integral Control (MPPI) with PyTorch☆18Jan 26, 2024Updated 2 years ago
- ☆23Dec 11, 2024Updated last year
- My own Rust implementation of Mal (Make a Lisp)☆14Jul 25, 2019Updated 6 years ago
- 文化祭の運営を支援するソフトウェア☆20Nov 3, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Writing in typst, thesis template☆53Dec 30, 2024Updated last year
- ☆14Mar 17, 2026Updated last month
- Programming language implementation for learning purposes☆16Jul 28, 2025Updated 9 months ago
- ☆83Jul 17, 2018Updated 7 years ago
- GitHubとはてなブログの連携用環境。GitHubに記事の編集内容をプッシュするとはてなブログの記事も更新されます。☆26Dec 15, 2022Updated 3 years ago
- ☆12Dec 18, 2018Updated 7 years ago
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆15Jul 2, 2024Updated last year
- Universal Online Judge (UOJ) 样题☆11Sep 23, 2022Updated 3 years ago
- Streaming from WebRTC to RTMP☆11Nov 19, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Tensorflow: Generalizing Across Domains via Cross-Gradient Training☆15May 11, 2018Updated 7 years ago
- ☆18Feb 16, 2024Updated 2 years ago
- A tool to get the katakana reading of an alphabetical string.☆34Oct 7, 2021Updated 4 years ago
- Common Lisp SPARQL query generation library☆12Aug 3, 2019Updated 6 years ago
- ☆12Feb 18, 2025Updated last year
- R package for Non-negative Tensor Decomposition☆20Apr 29, 2026Updated last week
- This repo contains a code that uses colabxterm and langchain community packages to install Ollama on Google Colab free tier T4 and pulls …☆13May 9, 2024Updated 2 years ago
- Self-Organising Map implementation in Haskell☆24Sep 4, 2022Updated 3 years ago
- Pretrained models, codes and guidances to pretrain official ALBERT(https://github.com/google-research/albert) on Japanese Wikipedia☆13Sep 26, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 2023 ABCI Llama-2 継続学習プロジェクト☆14Jan 22, 2024Updated 2 years ago
- 🧊 My rice for Arch Linux☆29Feb 26, 2022Updated 4 years ago
- Lennard Jones in Lean☆23Jul 14, 2025Updated 9 months ago
- I introduce the basic idea and implementation of 5 imputation approaches. In short, filling with a single value works well for a shorter…☆11Jan 11, 2023Updated 3 years ago
- A bridge between OrbitDB and Powergate, which is itself a bridge between Filecoin and IPFS.☆15May 7, 2021Updated 5 years ago
- Easily turn large English text datasets into Japanese text datasets using open LLMs.☆29Jan 20, 2025Updated last year
- いろんな 時間を%表示する☆12Dec 31, 2020Updated 5 years ago