qlambdabook.dvi
1 Quantum Lambda Calculus Peter Selinger Dalhousie University, Canada Benoı̂t Valiron INRIA and École Polytechnique, LIX, Palaiseau, France. Abstract We discuss the design of a typed lambda calculus for quantum compu- tation. After a brief discussion of the role of higher-order functions in quantum information theory, we define the quantum lambda calculus and its operational semantics. Safety inv
ガチャ、オートマトン、オイラー積分 - Analytic Combinatoricsが面白い - Woodrush’s Blog
Analytic Combinatoricsがめちゃくちゃ面白い。場合の数という離散的なものを数えるのに、連続的世界から生まれた解析学の知見を用いる分野だ。階乗をガンマ関数で表示するだとかいうレベルではなく、マクローリン展開の係数を調べることで場合の数を知るようなことをしている。 オートマトン ハマった発端は「オートマトン理論再考」（新屋, 2017 *1 ）というサーベイ論文。有限状態オートマトンを定めると、そのグラフの形から直接「出力文字列のうち文字のもの」の係数とする母関数が構成でき、それをマクローリン展開すると、文字となる出力の場合の数が直ちにわかるという内容を紹介していた。この結果は文脈自由言語にも拡張でき、生成規則から母関数が機械的に計算でき、その展開係数が文字の場合の数になっているという。場合の数を数えるのになんとマクローリン展開！一体どういうことなのか。 例えば、[1]中で
Quantum Computation and Information Theory Course
(Spring Term 2014) Physics Department, Carnegie Mellon University Department of Physics and Astronomy, University of Pittsburgh This course is offered by the Physics Department of Carnegie-Mellon University, with assistance from the Computer Science Department and the Department of Physics and Astronomy of the University of Pittsburgh. The level is appropriate for advanced undergraduates and begin
CS 162 — Fall 2024
CS 162: Operating Systems and System Programming Instructor: Ion Stoica Lecture: TuTh 6:30 - 7:59 PM PT in Dwinelle 155 Zoom: https://berkeley.zoom.us/j/94508421116 Office Hours: Tu 11:00 - 11:59 PM PT in Soda 447A
FPGAプログラミング大全 Xilinx編｜サポート｜秀和システム
※3種類のFPGAボード（Digilent社のArty、Basys3、Zybo）用のデータを含みます。
How Rust is tested
Rust is a systems programming language with massive ambitions. It is designed for creating the most reliable software, from the tiniest embedded systems to multi-million line behemoths, and its users need to have confidence that it is fit for purpose. In service of this ambition Rust has an extremely thorough testing regimen, and that is one of the things I am most proud of about Rust. Rust has a
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://hjemmesider.diku.dk/~/
Second Law-Like Inequalities with Quantum Relative Entropy: An Introduction
物理とか
https://www.cs.cmu.edu/~fp/courses/linear/handouts/lnd.pdf
Shota Nagayama's Shota Nagayama's Quantum Internet Research Lab. - 猫でもわかる Surface Code 量子計算
https://www.imperial.ac.uk/media/imperial-college/faculty-of-engineering/computing/public/student-projects/Paul-Li%C3%A9tar---Formalizing-Generics-for-Pony.pdf
QCoDeS 0.50.0.dev48 documentation
Chris Ferrie on Twitter: "Most estimators are inadmissible. Quantum tomography will never be the same. https://t.co/n8lXonycGG"
Simon Gay's Bibliography on Quantum Programming Languages
FPGAプログラミング大全をPYNQ-Z1で動かす
https://www.cis.upenn.edu/~jpaykin/papers/pz_linearity_monad_2017.pdf
Yoshihiro MIZOGUCHI - Y. Mizoguchi
小芦研究室のページ
UTokyo TV
