機能改善 【受付票発行機能 仕様変更のお知らせ】 「受付票発行機能」の仕様変更を行ない、受付票を常に発行することになりました。 詳しくはこちらをご覧ください。

お知らせ 【ATNDイベントデータ取り込み機能のお知らせ】 connpass に ATND で公開されているイベントデータの取り込み機能があることをご存知でしたか? 是非 connpass に取り込んで、運営コミュニティの歴史を消さないようにしましょう!詳しい内容・取り込み手順はこちら

このエントリーをはてなブックマークに追加

Jul

27

量子論理勉強会

Registration info

Attendee Type 1

Free

Attendees
5

Description

量子論理やりましょう。続き物ではなく単発イベントの予定です。

概要

量子論理に関する物理的文脈はさておき,数学的側面に焦点を当てたお話をします.

量子論理では,Hilbert空間の閉部分空間が命題を表現すると考えます.
2次元以上のHilbert空間の閉部分空間全体に包含関係で順序を入れると,分配律を満たさない束になります.
これを量子論理と呼ぶことにします.
量子論理における命題に真理値を割り当てる関数は,二値の束準同型写像として与えられます.
また,二値の束準同型写像はprime filterと呼ばれるものと対応します.
今回のお話では,束や準同型写像,filterなどの定義を確認してから,分配律と二値の束準同型写像,prime filter間の関係について概観します.
そして,量子論理上には二値の束準同型写像が存在しないことを,prime filterを経由して証明します.

参考文献
Quantum Logic in Algebraic Approach
http://www.springer.com/in/book/9780792349037

Presenter

Feed

mkoga_

mkoga_さんが資料をアップしました。

07/28/2017 19:58

t6s

t6s published 量子論理勉強会.

07/13/2017 23:56

量子論理勉強会 has been published!

Ended

2017/07/27(Thu)

18:30
21:00

Registration Period
2017/07/13(Thu) 23:46 〜
2017/07/27(Thu) 21:00

Location

Misoca

愛知県名古屋市中村区名駅2丁目35番22号 メビウス名古屋ビル2階

Organizer

Attendees(5)

t6s

t6s

I joined 量子論理勉強会!

mkoga_

mkoga_

量子論理勉強会 に参加を申し込みました!

tannakaken

tannakaken

量子論理勉強会 に参加を申し込みました!

c0hama

c0hama

量子論理勉強会に参加を申し込みました!

maeda_

maeda_

量子論理勉強会 に参加を申し込みました!

Attendees (5)

Canceled (1)