推 godfat:反函數有可能嗎？@@ 研究工作看起來真不錯啊… XD 03/02 11:15
→ noctem:覺得有趣的話歡迎來談談唷～ 03/02 14:04
→ tcpic:請問電機系的可以嗎? 03/03 13:46
推 SansWord:喔！！有興趣不過我要先念研究所 08/06 14:01
我直到今天才發現這個板。蠻高興在這邊看到對 programming
language 有興趣的人。
我現在在中研院資科所工作。做研究但沒有人可以討論，實在
是蠻難的。因此我很想要聘幾位對相關題目有興趣的朋友，
一起來做些事情。
在學生時代我做的是 program derivation (有人知道這是什麼
嗎？), 現在大概凡是 programming language 有關的題目都
不挑了。最近我在做的東西和 XML 有關：我們想開發一個能
使用少量記憶體處理 XML 的 functional language. 當然目前
還沒到「語言」的層次，這個階段的想法是：我們需要一種奠基
在 lazy evaluation 之上，但是稍作修改的 evaluation 方式。
夏天之後我可能會開始另一個計畫：設計一個有「反函數」的
functional language. 是否有可能設計一個語言，讓你能先
定義一個函數 f, 然後說「g 是 f 的反函數」？這樣的語言能
玩出什麼花樣呢？
如果您對這些題目有興趣，歡迎與我連絡。以下是我前陣子貼
的徵才廣告。
----
中研院誠徵 程式語言/函數語言/XML處理 研究助理或工讀生
單位 : 中央研究院 資訊科學研究所
網址: http://www.iis.sinica.edu.tw/~scm/
穆信成老師
職務名稱: 專任/兼任 研究助理/工讀生
工作內容: 從事程式語言/函數語言/XML 處理之相關研究。
* 研讀論文或相關資料
* 定期討論
* 程式撰寫
條件: 學歷不拘，希望應徵者對於以下領域之中的部份有興趣
* 程式語言(programming language),
尤其是函數語言(functional programming), 或
* 編譯器後端(compiler backend)設計, 或
* XML 處理, 或
* 型別理論(type theory)
工作待遇: 比照中研院薪資標準
工作地點: 北市南港研究院路2段128號 資訊科學研究所
聯絡電話: 02-2788-3799 分機 1730
應備文件: 意者請寄 email 至 [email protected]
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 123.192.157.71