{{ message }}

Instantly share code, notes, and snippets.

# Takumi Kato gyu-don

• Japan
Created Jun 24, 2020
MAKE PYTHON GREAT AGAIN
View PyTorch計算グラフぶった切り.ipynb
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Created Mar 3, 2020

View 爆弾検査問題.ipynb
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Last active Feb 22, 2020
リストのリストをリストにするやつがモナドであることを示しました。
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
 Require Import List. Import ListNotations. Theorem concat_assoc(X: Type): forall tttx: list (list (list X)), (concat (concat tttx)) = (concat (map (@concat X) tttx)). Proof. intros. induction tttx. simpl. reflexivity. simpl. rewrite <- IHtttx. apply concat_app.
Created Oct 17, 2019
View swap_rotate.py
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
 from blueqat import Circuit, pauli, vqe from blueqat.pauli import qubo_bit as q from math import pi import numpy as np def an(index): return 0.5 * pauli.X[index] + 0.5j * pauli.Y[index] def cr(index): return 0.5 * pauli.X[index] - 0.5j * pauli.Y[index]
Created Sep 30, 2019
Coq/SSReflect/MathComp Chapter 3
View chap3.v
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
 (* 3.1 *) Inductive 紅白玉 := | 赤玉 | 白玉. (* 3.2 *) Print list. (* Inductive list (A : Type) : Type := nil : list A
Last active Dec 28, 2018
はじめてのBlueqat.ipynb
View はじめてのblueqat.ipynb
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Created Dec 3, 2018
Blueqat VQE minimizer using PFN's Optuna library
View blueqat_optuna_minimizer.py
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
 import optuna def get_optuna_minimizer(n_trials, study=None): if study is None: study = optuna.create_study() def minimizer(objective, n_params): def optuna_objective(trial): params = [trial.suggest_uniform(f'params[{i}]', 0.0, 1.0) for i in range(n_params)] return objective(params) study.optimize(optuna_objective, n_trials=n_trials)
Created Nov 4, 2018
wildqatで4x4数独
View wildqat_4x4sudoku.ipynb