招待有り 2011年11月 プログラム意味論と圈論／計算の「不変量」を圈論で捉える 数学セミナー 長谷川真人 巻 601 号 開始ページ 92 終了ページ 98 記述言語 日本語 掲載種別 記事・総説・解説・論説等（商業誌、新聞、ウェブメディア） エクスポート BibTeX RIS
