| Status | Full-Time |
|---|---|
| Name | LEE, JUI-LIN |
| Office Tel No. | 5863 |
| Job Title | Associate Professor |
| Research Expertise | Mathematical Logic, Theoretical Computer Science |
| Education | Ph.D. in Mathematics, University of Illinois Urbana-Champaign |
| Tel | +886-5- 631-5863 |
| Office | ATC0508-1 |
| Year | Paper Title |
|---|---|
| 2016 | The Classical Model Existence Theorem in Subclassical Predicate Logics II, the Joint Conference of the 3rd Asian Workshop on Philosophical Logic & the 3rd Taiwan Philosophical Logic Colloquium (AWPL-TPLC 2016), Oct. 04-07, 2016, TWN中華民國(臺灣) |
| 2015 | Implicational Logics and iterated Modus Ponens, The 15th Congress of Logic, Methodology and Philosophy of Science, CLMPS 2015, Aug. 02-07, 2015, FIN芬蘭共和國 |
| 2014 | Explosiveness, Model Existence, and Incompatible Paraconsistencies, Logic Colloquium 2014, Jul. 13-18, 2014, AUT奧地利共和國 |
| 2013 | Classical Model Existence in Higher Order Semantics , 臺灣邏輯、方法論與科學哲學國際學術研討會, Jun. 06-07, 2013, TWN中華民國(臺灣) |
| 2013 | Explosiveness and Model Existence, The 4th World Congress on Universal Logic, Mar. 28-Apr. 06, 2013, BRA巴西聯邦共和國 |
| 2012 | ON PARACONSISTENCY, 2012台灣哲學邏輯研討會, Dec. 06, 2012, TWN中華民國(臺灣) |
| 2012 | CLASSICAL MODEL EXISTENCE WITHOUT MODUS PONENS, 2012 台灣哲學學會哲學研討會 道、覺知與規範, Oct. 18-20, 2012, TWN中華民國(臺灣) |
| 2012 | On Nonstandard Reals and Granular Mathematics, Proceedings 2012 IEEE International Conference on Granular Computing, Aug. 10-12, 2012, CHN大陸地區(大陸) |
| 2012 | PARACONSISTENCY AND MODEL EXISTENCE PROPERTY, 第三屆『道』與『德』研討會---知識、真理與詮釋, May. 10, 2012, TWN中華民國(臺灣) |
| 2011 | Classical Model Existence and Pure Implicational Logic, 14TH CONGRESS OF LOGIC,METHODOLOGY AND PHILOSOPHY OF SCIENCE, Jul. 18-25, 2011, FRA法國 |
| 2011 | Classical Model Existence and Paraconsistency, Logic Colloquium 2011, Jul. 10-15, 2011, ESP西班牙王國(西班牙) |
| 2010 | A Remark on the Minimality of omega, 2010台灣哲學學會學術研討會「語言、知識與行動：視野之交融」, Oct. 22-23, 2010 |
| 2009 | Glivenko's Theorem for weak normal modal logics, 第一屆臺灣邏輯與分析哲學會議, Oct. 30-31, 2009 |
| 2009 | A new axiomatization of pure implicational logic, 2009年台灣哲學學會年會暨「科學、文化、生命」哲學研討會, Oct. 23-24, 2009 |
| 2009 | The classical model existence theorem in subclassical predicate logics II, Logic Colloquium 2009, Jul. 30-Aug. 04, 2009 |
| Year | Book Title |
|---|---|
| 2019 | 蔣俊岳、李瑞麟、方惠真、黃妙冠, 微積分, 滄海圖書, 978-986-363-095-1, Sep. 2019 |
| 2018 | 作者2, 微積分, 滄海圖書, 978-986-363-066-1, Sep. 2018 |
| 2017 | Syraya Chin-Mu Yang,Kok Yong Lee, Hiroakira Ono (eds.), Classical Model Existence Theorem in Subclassical Predicate Logics. II, in Philosophical Logic: Current Trends in Asia, Springer Nature Singapore Pte Ltd., 978-981-10-6355-8, Oct. 2017 |
| 2017 | 蔣俊岳、李瑞麟、丁慕玉、方惠真、黃妙冠, 微積分, 滄海圖書, 978-986-363-045-6, Sep. 2017 |
| 2011 | 微積分, 新文京開發出版股份有限公司, 978-986-236-541-0, Aug. 2011 |
| 2010 | 微積分, 新文京開發出版股份有限公司, 978-986-236-323-2, 2010 |
| Project Category | Year | Project Title | Job Title | Period |
|---|---|---|---|---|
| 企業產學計畫(含公營及私人企業) | 2025 | ACS-115年台中精機盃CNC多軸機技能競賽 | 主持人 | 2025.07 ~ 2026.07 |
| 其他單位產學計畫 | 2025 | 跨域整合技術促進產業園區減碳精實計畫 | 共同(協同)主持人 | 2025.03 ~ 2025.11 |
| 企業其他案件(含公營及私人企業) | 2024 | ACS-114年台中精機盃CNC多軸機技能競賽 | 主持人 | 2024.07 ~ 2025.07 |
| 企業產學計畫(含公營及私人企業) | 2023 | ACS-113年台中精機盃 CNC 多軸機技能競賽 | 主持人 | 2023.07 ~ 2024.07 |
| 企業產學計畫(含公營及私人企業) | 2021 | ACS-宏奇泵浦人才培育委託產學合作計畫 | 主持人 | 2021.09 ~ 2024.09 |
| 政府學術研究計畫-科技部專題研究計畫 | 2020 | 科技部109年度 【 廣義蘊涵與廣義否定 】 | 主持人 | 2020.07 ~ 2021.10 |
| 政府學術研究計畫-科技部專題研究計畫 | 2019 | 科技部108年度 【 關於模糊邏輯的完備性 】 | 主持人 | 2019.07 ~ 2020.07 |
| 政府學術研究計畫-科技部專題研究計畫 | 2018 | 科技部107年度 【 模型存在性與模態邏輯 】 | 主持人 | 2018.07 ~ 2019.07 |
| 校內補助案 | 2016 | 盧卡西維奇語句邏輯 | 主持人 | 2016.07 ~ 2017.07 |
| 政府學術研究計畫-國科會專題研究計畫 | 2015 | 科技部104年度 【 模型存在性與完備性 】學門名稱：理則學(邏輯) | 主持人 | 2015.07 ~ 2016.07 |
| 校內補助案 | 2014 | 103年鼓勵性計畫【廣義異一致性】 | 主持人 | 2014.07 ~ 2015.07 |
| 政府學術研究計畫-國科會專題研究計畫 | 2013 | 國科會101年度 【 非古典邏輯與模型存在性 】(第二年) | 主持人 | 2013.07 ~ 2014.07 |
| 政府學術研究計畫-國科會專題研究計畫 | 2012 | 國科會101年度 【 非古典邏輯與模型存在性 】2年期 | 主持人 | 2012.07 ~ 2014.07 |
| 政府學術研究計畫-國科會專題研究計畫 | 2011 | 古典模型存在性與次結構邏輯 | 主持人 | 2011.07 ~ 2012.07 |
| 政府學術研究計畫-國科會專題研究計畫 | 2010 | 古典模型存在性與次結構邏輯 | 主持人 | 2010.07 ~ 2012.07 |
| 政府學術研究計畫-國科會專題研究計畫 | 2008 | 一致性與可滿足性 | 主持人 | 2008.07 ~ 2010.07 |
| 政府學術研究計畫-國科會專題研究計畫 | 2008 | 一致性與可滿足性 | 主持人 | 2008.07 ~ 2010.07 |
| Country | School Name | Department | Degree |
|---|---|---|---|
| 美國伊利諾大學香檳分校(University of Illinois at Urbana-Champaign) | 數學系 | 博士 | |
| 國立台灣大學 | 數學研究所 | 碩士 | |
| 國立台灣大學 | 數學系 | 學士 |
| Service Name | Service Type | Service Unit | Participation Status | Area | Service Start Date | Service End Date |
|---|---|---|---|---|---|---|
| 擔任四技二專統一入學測驗命題委員 | 擔任專業考試典試人員 | 技專院校入學測驗中心 | 2022-09-30 | 2023-05-30 | ||
| 擔任兼任助理教授教師證書校外專家學者審查委員 | 其他 | 東吳大學哲學系 | 2022-10-31 | 2022-11-29 | ||
| 擔任自學進修專科學校學力鑑定考試考科召集人暨命題委員 | 擔任專業考試典試人員 | 技專院校入學測驗中心 | 2022-08-14 | 2022-12-30 | ||
| 擔任四技運動績優獨招考試命題委員及監試人員 | 其他 | 虎尾科技大學 | 2022-01-13 | 2022-04-08 | ||
| 擔任四技二專統一入學測驗命題委員 | 擔任專業考試典試人員 | 技專院校入學測驗中心 | 2021-11-18 | 2022-05-30 | ||
| 擔任四技運動績優獨招考試命題委員及監試人員 | 其他 | 虎尾科技大學 | 2021-01-24 | 2021-04-09 | ||
| 專科程度學力鑑定考試考科召集人暨命題委員 | 擔任專業考試典試人員 | 技專院校入學測驗中心 | 2021-08-15 | 2021-12-30 | ||
| 擔任碩士學位考試口試委員 | 擔任專業考試典試人員 | 國立中正大學 | 2020-06-16 | 2020-08-09 | ||
| 擔任擔任自學進修專科學校學力鑑定考試考科召集人暨命題委員 | 擔任專業考試典試人員 | 技專院校入學測驗中心 | 2020-08-17 | 2020-11-19 | ||
| 擔任四技二專統一入學測驗命題委員 | 擔任專業考試典試人員 | 技專院校入學測驗中心 | 2020-10-21 | 2021-05-30 | ||
| 專科程度學力鑑定考試命題委員 | 擔任專業考試典試人員 | 技專院校入學測驗中心 | 2019-08-20 | 2019-11-29 | ||
| 擔任專科學校畢業程度自學進修學力鑑定考試考科召集人暨命題委員 | 擔任專業考試典試人員 | 技專院校入學測驗中心 | 2019-08-20 | 2019-11-29 | ||
| 擔任身心障礙生甄試考科召集人兼命題委員 | 擔任專業考試典試人員 | 技專校院入學測驗中心 | 2019-10-31 | 2020-05-30 | ||
| 英語能力檢核小組 語能力檢核小組委員 | 其它 | 國立虎尾科技大學 | 2018-07-31 | 2019-07-30 | ||
| 擔任統測命題委員 | 擔任專業考試命題委員典試人員 | 技專院校入學測驗中心 | 2018-11-21 | 2019-05-18 | ||
| 擔任東吳哲學學報期刊論文評審 | 擔任國內專業期刊編審及評審 | 東吳大學哲學系 | 2018-03-20 | 2018-04-30 | ||
| 擔任自學進修學力鑑定考試考科召集人暨命題委員 | 擔任專業考試命題委員 | 技專院校入學測驗中心 | 2018-08-20 | 2018-11-10 | ||
| 擔任技專院校入學測驗中心題庫試題命題委員 | 擔任專業考試命題委員 | 技專院校入學測驗中心 | 2018-08-07 | 2018-12-07 | ||
| 擔任東吳哲學學報評審 | 擔任國內專業期刊編審及評審 | 東吳大學哲學系 | 2017-10-25 | 2017-11-29 | ||
| 擔任自學進修學力鑑定考試考科召集人暨命題委員 | 擔任專業考試典試人員 | 技專院校入學測驗中心 | 2017-08-31 | 2017-12-30 | ||
| 擔任自學進修學力鑑定考試命題委員 | 擔任專業考試典試人員 | 技專院校入學測驗中心 | 2017-08-31 | 2017-12-30 | ||
| 擔任2017年全國技專校院創意統計圖「錦圖妙計創作獎」競賽評審 | 其他 | 中國科技大學 | 2017-11-10 | 2017-11-10 | ||
| 擔任碩士學位口試委員 | 其他 | 國立中正大學哲學系 | 2017-07-23 | 2017-07-23 | ||
| 擔任2016年全國技專校院創意統計圖「錦圖妙計創作獎」競賽評審 | 其他 | 中國科技大學 | 2016-10-28 | 2016-10-28 | ||
| 審查延攬博士後研究人才申請案 | 其他 | 科技部 | 2016-06-14 | 2016-06-26 | ||
| 審查國內研究生出席國際會議申請補助案 | 其他 | 科技部 | 2016-09-04 | 2016-09-05 | ||
| 擔任通識中心數理組執行秘書 | 其他 | 國立虎尾科技大學通識教育中心 | 2016-07-31 | 2017-07-30 | ||
| 擔任四技統測命題委員 | 擔任專業考試典試人員 | 財團法人技專校院入學測驗中心 | 2016-11-21 | 2017-05-08 | ||
| 基礎科學教育委員會 委員 | 其它 | 國立虎尾科技大學 | 2016-07-31 | 2017-07-30 | ||
| 擔任2016FUZZ-IEEE國際會議論文評審 | 其他 | FUZZ-IEEE國際會議 | 2016-01-31 | 2016-02-29 | ||
| 擔任台大哲學論評評審 | 擔任國內專業期刊編審及評審 | 台灣大學哲學系 | 2016-01-14 | 2016-01-30 | ||
| 擔任碩士班論文計畫口試委員 | 其他 | 國立新竹教育大學台灣與研究與教學研究所 | 2016-01-31 | 2016-02-14 | ||
| 科技部申請案審查委員 | 其他 | 科技部 | 2016-09-13 | 2016-09-20 | ||
| 圖書館圖指會 委員 | 其它 | 國立虎尾科技大學 | 2015-12-31 | 2016-12-30 | ||
| 服務學習類課程經補助審查小組 審查委員 | 其它 | 國立虎尾科技大學 | 2015-07-31 | 2016-07-30 | ||
| 通識教育課程委員會 委員會、 | 其它 | 國立虎尾科技大學 | 2015-07-31 | 2016-07-30 | ||
| 擔任2015FUZZ-IEEE國際會議論文評審 | 其他 | FUZZ-IEEE國際會議 | 2015-03-08 | 2015-03-19 | ||
| 擔任科技部研究計畫審查人 | 其他 | 科技部 | 2015-02-15 | 2015-03-08 | ||
| 服務學習類課程經費補助審查小組 審查委員 | 其他 | 國立虎尾科技大學 | 2015-07-31 | 2016-07-30 | ||
| 擔任104年專科學校畢業程度自學進修學力鑑定考試考科召集人 | 擔任專業考試命題委員 | 技專校院入學測驗中心 | 2015-08-17 | 2015-10-10 | ||
| 擔任碩士學位考試口試委員 | 其他 | 國立中正大學應用數學研究所 | 2015-12-14 | 2016-01-12 | ||
| 擔任2014FUZZ-IEEE國際會議論文評審 | 其他 | FUZZ-IEEE國際會議 | 2014-02-01 | 2014-02-14 | ||
| 擔任東吳哲學學報評審 | 擔任國內專業期刊編審及評審 | 東吳大學哲學系 | 2014-06-12 | 2014-07-10 | ||
| 服務學習類課程經費補助審查小組 審查委員 | 其他 | 國立虎尾科技大學 | 2014-07-31 | 2015-07-30 | ||
| 擔任碩士學位考試口試委員 | 其他 | 國立中正大學哲學研究所 | 2014-06-14 | 2014-07-23 | ||
| 審查102年傑出研究獎之申請案 | 其他 | 國科會 | 2013-10-31 | 2013-11-29 | ||
| 服務學習類課程經費補助審查小組 審查委員 | 其它 | 國立虎尾科技大學 | 2013-07-31 | 2014-07-30 | ||
| 擔任東海哲學研究集刊論文評審 | 擔任國內專業期刊編審及評審 | 東海大學哲學系 | 2013-01-09 | 2013-02-23 | ||
| 擔任2013FUZZ-IEEE國際會議論文評審 | 其他 | FUZZ-IEEE國際會議 | 2013-03-03 | 2013-03-14 | ||
| 擔任102年專科學校畢業程度自學進修學力鑑定考試命題委員 | 擔任專業考試命題委員 | 技專校院入學測驗中心 | 2013-08-13 | 2013-10-05 | ||
| 擔任碩士學位考試口試委員 | 其他 | 國立中正大學哲學研究所 | 2013-06-14 | 2013-07-15 | ||
| 擔任碩士學位考試口試委員 | 其他 | 國立中正大學哲學研究所 | 2013-11-14 | 2013-12-26 | ||
| 擔任政大哲學學報學術期刊論文評審 | 擔任國內專業期刊編審及評審 | 國立政治大學哲學系 | 2012-02-29 | 2012-03-01 | ||
| 國科會101年專題研究計畫審查 | 其他 | 國科會 | 2012-02-29 | 2012-03-01 | ||
| 擔任2012FUZZ-IEEE國際會議論文評審 | 其他 | FUZZ-IEEE國際會議 | 2012-01-24 | 2012-02-11 | ||
| 擔任歐美研究期刊論文評審 | 擔任國內專業期刊編審及評審 | 中研院歐美研究所 | 2012-11-08 | 2013-01-03 | ||
| 擔任教師聘任著作審查委員 | 其他 | 中正大學文學院 | 2012-03-31 | 2012-04-16 | ||
| 102學年度四技二專數學之命題委員 | 擔任專業考試命題委員 | 技專校院入學測驗中心 | 2012-08-31 | 2012-09-01 | ||
| 擔任歐美研究期刊論文評審 | 擔任國內專業期刊編審及評審 | 中研院歐美研究所 | 2011-08-31 | 2011-09-01 | ||
| 擔任揭諦學術期刊論文評審 | 擔任國內專業期刊編審及評審 | 南華大學哲學與生命教育學系 | 2011-08-31 | 2011-09-01 | ||
| 其他 | 國立虎尾科技大學通識教育中心 | 2011-02-28 | 2011-03-01 | |||
| 擔任全國計算機會議 (NCS 2011) Algorithms and Bioinformatics Workshop議程委員 | 其他 | 嘉義大學資工系 | 2011-08-31 | 2011-09-01 | ||
| 擔任碩士學位考試口試委員 | 其他 | 國立中正大學哲學研究所 | 2011-12-14 | 2012-01-05 | ||
| 其他 | 國立虎尾科技大學通識教育中心 | 2010-02-28 | 2010-03-01 | |||
| 其他 | 國立虎尾科技大學通識教育中心 | 2010-08-31 | 2010-09-01 | |||
| 99學年度基礎學科課程委員會 委員 | 其它 | 國立虎尾科技大學 | 2010-07-31 | 2011-07-30 | ||
| 99學年度基礎科學教育委員會 委員 | 其它 | 國立虎尾科技大學 | 2010-07-31 | 2011-07-30 | ||
| 擔任碩士學位考試口試委員 | 其他 | 國立中正大學哲學研究所 | 2010-12-31 | 2011-01-20 | ||
| 其他 | 國立虎尾科技大學通識教育中心 | 2009-08-31 | 2009-09-01 | |||
| 其他 | 國立虎尾科技大學通識教育中心 | 2009-02-28 | 2009-03-01 |