• 演講時間: 112年9月20日（三） 14:00~16:00
• 演講地點: E6-A207教室
• 演講者: 柯向上 助理研究員（中央研究院資訊科學研究所）
• 演講主題: 用圖形語言學量子計算
• 演講大綱: 我們常用的數學或程式語言都是一維的字串，但用一維的語言描述有 二維結構的現象時往往不夠方便，最好改用二維的語言，自然地用 圖畫出二維現象。和數學或（函式）程式一樣，在這種二維圖形語 言裡我們可以做等式推導，進而用圖形等式建構各種理論。這種語 言目前最有趣的應用領域是量子計算，所以我們也順便學一點入門 程度的量子計算，看幾個用圖形語言能夠幫助理解的例子。
• 講者簡歷: 英國牛津大學博士，後赴日本國立情報學研究所從事博士後研究， 現任中央研究院資訊科學研究所助研究員。研究領域為程式語言理論 ，專精於依值型別程式（dependently typed programming）和泛資料 型別程式（datatype-generic programming），以及相關主題如型別 理論（type theory）、函式程式（functional programming）等。 個人網站 https://josh-hs-ko.github.io。

請研究所一年級的同學當天準時聽講