サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
パリ五輪
www.mathstat.dal.ca/~selinger
Quipper is an embedded, scalable functional programming language for quantum computing. It provides, among other things: A high-level circuit description language. This includes gate-by-gate descriptions of circuit fragments, as well as powerful operators for assembling and manipulating circuits. A syntax that allows a mixture of procedural and declarative programming styles. Built-in facilities f
Fitch-style natural deduction is a system for writing proofs in propositional logic and predicate logic. We use it in our logic courses at the University of Ottawa. This is a set of easy-to-use LaTeX macros that I wrote for making handouts for my classes. With these macros, one can typeset natural deduction proofs in Fitch style, as in the following example: \begin{nd} \hypo {1} {\forall y \neg P(
The purpose of this file is to provide lots of bogus email addresses to clobber up automated email address collection tools of the kind that spammers use. It was created by the program spiderkiller. Feel free to download this C program and to create your own spiderkiller pages. ipte@fete.xidth.fecay.com olaffe@thermat.us olirduntry@tile.mir.airmirna.com acis@thoolar.erigaya.gov tolde@tundolte.org
I am a Professor of Mathematics at Dalhousie University. I enjoy doing research on mathematical methods in computer science, and especially in quantum computing. My other research interest is combinatorial game theory. I also enjoy teaching. I won the Faculty of Science Award for Excellence in Teaching in 2023. In Fall 2024, I will be teaching Math 1030, Matrix Theory and Linear Algebra.
このページを最初にブックマークしてみませんか?
『www.mathstat.dal.ca』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く