農林水産研究情報センターで作成したPDFファイルを使用している。

近年線上教學平台有著很大的發展，不管是國內的均一教學平台，或國外知名的可汗教育平台，都提供各種學科便利學生自主學習。而在高中化學計算的領域中，這些平台上均提供各種教學課程。美中不足的是在線上的練習系統中，往往題目數量少、題目變化少、無詳細解題步驟，這樣將不足以透過題目衡量一個學生在各個主題的學習上有無明顯的進步。 本論文的目的是改善上述問題。我們設計並實做一系統，只要使用者輸入簡單需求，即可自動產生高中化學問題以及伴隨詳細解答，可方便出題者快速產生各式不同主題的高中化學應用題目。我們的系統提供一個Web前端供使用者輸入所需要生成的題目之資訊。系統由此收齊相關參數之後，接著即可依據參數產生符合題目限制條件的化學問題生成模型。此問題模型為一hypergraph，節點代表已知或未知相關化學量，超連結(hyperedge)則代表數個化學量間的相依關係。有了此一以ASP(Answer Set Programming)表達的問題模型之後，系統即可利用ASP求解器(Solver)進行單一或多個題目生成，後續工作則是驗證每一生成題目之可行性並產生解題步驟，最後經由Django整合呈現於Web上。 / In recent years there has been great progress in the development of online learning. Well-known platforms such as international Khan Academic or local Junyi Academy in Taiwan provide courses in various subjects allowing interested students to study in a very convenient and autonomous way. As expected, courses on common subjects such as high school chemistry are offered with rich content by these platforms. However, there are shortcomings in these courses about the problems they provide for the students to practice or test. In addition to rich content, an ideal course should provide abundant problems of all possible topics, with each given detailed solution, so that students can evaluate their achievement of study by practicing or testing themselves with these problems. Unfortunately, no courses on these platforms meet the above requirements. The purpose of this thesis is to improve the above shortcoming by providing a system which can generate automatically word problems on various topics of high school chemistry, together with detailed accompanied solutions. Our system is a web-based application implemented using Django. It provides a front-end enabling the users to enter related information for the word problems they want the system to generate. According to the parameters collected from the front-end, our system will generate a corresponding chemical problem model. The model is a hypergraph with nodes representing known or unknown chemical quantities related to the problem and hyperedges representing relations or dependencies among these quantities. After the model is generated as a logic program of ASP(Answer-set Programming), the system will use an ASP solver to generate one or more candidate problems. Subsequent works are then used to verify the feasibility of each problem and produce a solution for the feasible one. Finally the generated problems as well as solutions are wrapped in the server side and then sent to and presented friendly in the client's browser.

資訊科技(Information Technology, IT)對我們的生活與企業帶來極大的影響與改變。在企業中，資訊科技經常扮演不同的角色，這些不同的資訊科技角色(IT Role)可以自動化企業流程、支援決策制定、整合資源，甚至實現轉型與創新，對於企業的決策帶來不同層面的影響。而我們從近年來新興的資訊科技─大數據與人工智慧技術中，發現了不同於過去的新資訊科技角色。為了近一步了解這個新角色，本研究選擇人工智慧應用之一的自動駕駛車作為研究案例。本研究目的是探討自動駕駛車的資訊科技所扮演的新資訊科技角色；研究問題包含 (1) 自動駕駛車的資訊科技如何影響駕駛決策制定 (2) 在決策制定過程中，人與資訊科技分別扮演何種角色與職責。 本研究採用多個案研究法，分為兩個階段。首先，為解構資訊科技的決策制定流程，本研究依據決策理論與系統理論建構一研究架構。於文獻探討的章節中，本研究根據過往文獻與案例，提出四種企業常見的資訊科技角色─Automation、Supporter、Mentor與Enabler，並將研究架構應用於以上資訊科技角色以進行調整與驗證。接著，本研究選擇Google (Waymo)與Tesla作為自動駕駛車的研究個案，並將研究架構套用於兩個個案研發的自動駕駛車。由於不同的自動駕駛車研發理念與實現方式，Google與Tesla自動駕駛車的資訊科技分別扮演兩種不同的資訊科技角色─Autonomer與Smart Automation，本研究進一步比較所有資訊科技角色的研究架構結果，了解資訊科技角色的特性、影響與適用的決策類型。 自動駕駛的決策問題與環境與過去有極大的不同。為了實現安全的自動駕駛，資訊科技需要的資料類型更加多元，除了傳統數位類型資料，也需要收集周遭環境的3D影像等資料；另外，由於決策從過去的靜態問題轉移到動態與快速變化、擁有爆炸性資料與資訊的環境中，資訊科技需要更多的應變能力以制定更即時與適當的決策。由於資料、決策問題與環境的改變，企業對於資訊科技能力的需求也隨之改變，從自動駕駛車的個案中，本研究發現原本的資訊科技角色(Automation、Supporter、Mentor、Enabler)並不具備能應對如此動態與快速變化的決策問題與環境的能力，因而根據個案提出有能力實現動態即時決策制定的兩種新資訊科技角色。 使用人工智慧技術的Google無人駕駛車扮演著Autonomer的角色。資訊科技角色Autonomer能夠與外界進行互動，並且能夠不斷地追蹤、反饋與修正以實現自我成長；此外，面對各種駕駛決策情境，也能夠在無人為干預的情況下獨力完成駕駛決策的制定。資訊科技的學習能力是面對未知與難以預測的問題的最大優勢，而Autonomer的自我學習與決策制定能力也是與其他資訊科技角色最大的不同之處。使用大數據技術的Tesla自動駕駛車的Autopilot系統扮演著Smart Automation。資訊科技角色Smart Automation擁有更進步的資料收集與分析能力，能夠在動態與快速變化的環境中處理更為複雜的決策問題；此外，面對各種駕駛決策情境，Autopilot系統能在駕駛人保持監督的條件下進行自動駕駛以駕駛輔助的方式減輕駕駛人的負擔。最後，我們發現對於決策制定，資訊科技不僅能扮演一個完全獨立的角色，也能夠扮演一個與人互補的角色。大部分的人工智慧如同Google無人駕駛車做為一個Autonomer的角色，但同時更多企業目前使用的資訊科技屬於Supporter、Mentor與Smart Automation以支援或強化決策者的能力。 本研究探討在自動駕駛過程中不同資訊科技角色如何影響決策制定，以及駕駛人與資訊科技的角色與職責。並且從決策類型與資訊科技能力的角度，協助決策者與使用者全面地了解每個資訊科技角色的特性與適用的決策類型。此外，科技不斷在進步，本研究也提供一個了解各種資訊科技角色的基石，透過本研究的研究架構與方法，協助企業與決策者了解不同資訊科技對於決策的影響，本研究結果也能延伸應用於其他自動化、大數據與人工智慧相關領域，如無人工廠、吾人航空載具、工業4.0與金融科技(Fintech)。 / Information technology (IT) has brought great changes to people and business. In various applications, IT plays diverse roles that can automate business processes, support decision-making, integrate resources, and enable transformation and innovation and brings the impacts on different aspect of decision-making in enterprises. However, with the emerging technology of big data and artificial intelligence (AI), there is a new role for IT. To understand this role, we chose the autonomous car, an application of AI, as a study case. The objective of the research is to understand the new roles played by IT in the autonomous car. We focused on two questions: (1) how IT impacts decision-making in the autonomous car; and (2) what roles do IT and humans play during the decision-making process. This study applies a multiple case study in two phases. First, we built a conceptual framework, based on decision theory and system theory, to deconstruct the decision process of IT. To adjust and verify the framework, we applied it to actual cases and proposed IT roles of Automation, Supporter, Mentor and Enabler. Second, we applied the framework to the chosen autonomous car case studies, Google (Waymo) and Tesla, to explore the new role of IT in the autonomous car. Because of the different philosophies, there were two distinct roles played by IT in Google and Tesla’s autonomous cars, Autonomer and Smart Automation, respectively. We furthermore compared the frameworks of Google and Tesla, as well as the existing and new IT roles, explained the differences regarding the IT roles and decision types, and found out the applicable decision-making type of each IT roles.. Compared to the past, there were the great differences for the decision problems and environment of autonomous driving. To realize the safe autonomous driving, the data IT required became more diverse including non-text or non-digit data; besides, the decision-making also changed from static decision problems into dynamic and rapid decision environment with the explosive data and information that IT required more resilience to make decision. Due to the changes of the data, decision problems and environment, the demand for IT capability also changed. From the cases of the autonomous car, we found the original roles including Automation, Supporter, Mentor and Enabler was not enough – they did not possess the capability to make the dynamic and instantaneous decision. Therefore, we proposed two new IT roles – Smart Automation and Autonomer in this research that these two new IT roles which were applicable to the dynamic and instantaneous decision-making. The computer of the Google driverless car using AI technology acted as an Autonomer that was responsible for interacting with the surroundings and being self-growing with continuous tracking and adjustment; furthermore, under driving decision circumstances, this computer could assume the entire decision-making process without human intervention. The self-learning and decision-making ability of Autonomer is the characteristic most different from other IT roles; additionally, the learning ability was the greatest strength for dealing with unknown and unpredictable circumstances. The Autopilot system of the Tesla self-driving car, leveraging big data technology, acted as a Smart Automation that could process more complex decision problems in the dynamic environment with the advancement of data collection and analysis ability; furthermore, under the driving decision circumstances, the Autopilot system of the Tesla self-driving car could temporarily take over the driving control to decrease the driving burden and provide assistance to make driving easier. According to the research results, IT can not only play a totally independent role but also a complementary role. Most AI played the same IT role – Autonomer, such as the computer of the Google driverless car; meanwhile, much of the IT introduced by businesses acted as Supporter, Mentor and Smart Automation to assist and complement humans. This research provided a perspective for identifying how the different IT roles impact decision-making while driving an autonomous car and clarify the responsibility of humans and IT in the driving experience; moreover, from the perspective of decision problems and IT ability, it also provided a comprehensive and general understanding for realizing the characteristics of diverse IT roles and the applicable decision problems.

京都大学 / 0048 / 新制・課程博士 / 博士(人間・環境学) / 甲第22082号 / 人博第911号 / 新制||人||217(附属図書館) / 2019||人博||911(吉田南総合図書館) / 京都大学大学院人間・環境学研究科共生人間学専攻 / (主査)教授 奥田 敏広, 教授 細見 和之, 教授 桂山 康司 / 学位規則第4条第1項該当 / Doctor of Human and Environmental Studies / Kyoto University / DGAM

京都大学 / 0048 / 新制・課程博士 / 博士(工学) / 甲第22156号 / 工博第4660号 / 新制||工||1727(附属図書館) / 京都大学大学院工学研究科社会基盤工学専攻 / (主査)教授 森 信人, 教授 平石 哲也, 准教授 米山 望 / 学位規則第4条第1項該当 / Doctor of Philosophy (Engineering) / Kyoto University / DFAM

京都大学 / 新制・論文博士 / 博士(医学) / 乙第13479号 / 論医博第2254号 / 新制||医||1059(附属図書館) / 京都大学大学院医学研究科医学専攻 / (主査)教授 齊藤 博英, 教授 遊佐 宏介, 教授 藤田 恭之 / 学位規則第4条第2項該当 / Doctor of Medical Science / Kyoto University / DFAM

藉由生物科技中的複製技術，本文探討其與憲法保障生殖自由之關係。整個問題點，可以很簡單歸納為一句話，即「無性生殖受憲法生殖自由之保障嗎？」。 所謂的「複製」，和在一九九六年七月五日誕生，而於二OO三年二月十四日死亡，可能是史上最有名的一隻羊：桃莉，有很大的關係。其之所以有名，在於其係運用「複製」技術，所誕生的第一隻哺乳類動物。而在桃莉之後，也有許多其他哺乳類動物運用此項技術誕生，故也開啟了運用於人類身上之可能性，因而產生了極大的爭議與論辯。複製技術以技術的不同而區分，可以簡單分為「胚胎分割」與「體細胞核移轉」兩者。而如果以目的的不同而區分，則可以分為「治療性複製」與「生殖性複製」。本文主要針對在二OO四年七月以前，得作為產生個體之用，且性質上屬於無性生殖的體細胞核移轉技術。 生殖自由在我國與美國憲法均無明文，但是借由美國實務與理論相當多的見解，以及我國相關文獻之豐富討論，其內涵大致上可以區分為「是否生殖」、「如何 (不) 生殖」及「 (不) 生殖什麼」三者。生殖性複製得否禁止，禁止之法律是否合憲，因此乃係屬「如何生殖」中方式選擇自由之問題。不同的生殖方式之中，本文採取生物本能、基因傳遞之概念，認為獲致與自己有基因關連之子嗣的方式，位居生殖自由之核心。但在均屬核心之方式中，亦非無分軒輊地受憲法同等之保障。本文以為不同可獲致有基因關連子嗣之方式，應以「是否需要輔助」為第一區分，而以「有性或無性」為第二區分標準。在此之下，性行為可先鞏固為方式自由之核心地位。除性行為之外，其他方式又以人工生殖較無性生殖更接近核心。各種不同的生殖方式，即可依此而形成「蘋果、柳丁與橘子」之層級化區分；而在均屬安全有效的前提下，亦非個人可自由選擇。借由舉證責任倒置的「例外窮盡模式」，使真正有需要的極少數人，得以此方式自由繁衍後代。 我國人工生殖法草案禁止無性生殖，但是用語稍有瑕疵，且禁止理由又係基於「人之存在價值及尊嚴」與「社會倫常秩序」，與本文之看法不盡相同。生物科技礙於其專業鴻溝與發展快速，欲以法律精確定義，顯然有所困難。故在管制手段上，實應考量採取立法大幅授權，與行政個案判斷之模式。此外，司法審查介入此種個案，亦庶幾符合其權力角色與功能分配，而可發揮定紛止爭之功能。

【中 文 摘 要】 博物館功能主要為「展示、教育、研究、典藏」，其中「展示」為博物館與大眾接觸最直接的方式。在現代科技發展中，「展示」的觀念與形式也有所改變，互動式展示日受重視，虛擬呈現的比例亦逐漸加重。 本研究以「國立海洋生物博物館」之BOT專案「世界水域館」《深海水域》電子展示設計為主題，以實務個案為例，探討自然博物館如何規劃與製作深海水域的生態展演，與如何利用〝虛擬實境〞、〝人工智慧〞與〝即時運算〞等尖端技術，架構出「世界第一」無水水族館的展示模式。 往昔自然生態展示以活體展示為主，即複製生態空間讓水中生物悠遊水族箱內。但為了超越時空，讓全球代表生態皆能集中於特定展示館內，遂有電子展示的觀念與製作，以擬仿物取代真實，創造尚‧布希亞的「超真實」世界。 本研究於製程的影音紀錄與相關人員的訪談中，歸納、整理出發展生態電子展示設計的因素與理想，探討製作上的困難之處，同時也以研究者觀點對展示設計過程提出檢討與建議。 深海水域生態在陸地上展示係屬跨越時空的創舉，本個案不但為台灣首例，在世界上亦為先驅。創新嘗試，成果雖不如預期，但以整個專案的具體呈現而言，實為相關領域之前鋒。本研究認為，整理與探討本個案，對未來電子展示設計與製作皆有參考價值；同時，由本個案所建置的生態電子展示平台，亦為台灣博物館界提供國際化的新思維，對博物館未來的展示設計奠定了新的基礎，創造一個新的開始。 / Abstract The main functions of museums are demonstration/exhibition, education, research and collection/preservation. “Exhibition” provides the most direct link between a museum and the public. As modern science and technology continue to develop, the concepts and formats of “exhibition” have also evolved. Interactive exhibits become more valued, and virtual simulation approaches have also increased in proportion. The focus of this research study is the electronic display design for the Waters of the World – BOT (Build-Operate-Transfer) Project, pioneered by the National Museum of Marine Biology & Aquarium. This study uses this project as a case study to explore how a Nature museum planned and produced an exhibit of The Deep Sea waters ecology, and with the use of the most advanced technology such as VR (Virtual Reality), AI (Artificial Intelligence), and the “real-time operation,” etc., how the museum built the world’s first protocol for a water-less aquarium. In the past, ecological exhibits mainly constituted real living creatures, by duplicating the ecological environment necessary for underwater creatures to survive in an aquarium. But, in order to go beyond the limitation of space and time, and to facilitate the presentation of global ecology within a specific exhibition space, the electronic display concept and production has thus been introduced. It is to imitate reality and create a world of hyper-reality, as depicted by Jean Baudrillard. Relying on historical video and audio records, and actual interviews with key people on the project, this research study summarized factors and objectives of the original design, and discussed difficulties encountered in the production process. In addition, the study also provided input and recommendations concerning the design process. The exhibition of The Deep Sea waters ecology on land is a pioneering act, second to none. The case is not only a 1st in Taiwan, but also a 1st of its kind in the world. Although the new attempt has not exactly achieved the expected outcomes, it did initiate a pioneering work within ecology demo field. The researcher believes that the case study is a valuable reference for future electronic display design and production. In the meantime, the ecological electronic-platform created by this project provides an international perspective, and establishes a new milestone for further development in the future.

知訊者與非知訊者資訊不對稱之議題在學術殿堂一直廣為學者所研究討論，且各國證管機關為了維持證券市場公平性、保護非知訊者權益並且維持股票市場的穩定運作，適度的資訊揭露以維持證券市場的公平性一直都是各國證券交易所重視的政策目標。 是故，本研究利用代理人基人工股票市場來探討資訊揭露對於金融市場之影響。在此架構下之交易者皆已有限理性方式來呈現。他們是以遺傳規劃(genetic programming)之方式來學習並修正他們對於未來之金融市場之預期。在透過即時的模擬價格之資訊揭露，我們嘗試探討此資訊揭露之金融政策措施對於市場之波動性、市場之流動性之影響。 / The topic of asymmetric information between the informed traders and uninformed traders has been widely discussed by researchers in academics. To maintain the fairness of securities market, an appropriate information disclosure is quite important for authorities of securities regulation to protect the rights and interests of uninformed traders, and to maintain the operations of securities market stable. Based on these reasons, we construct an agent-based artificial stock market to investigate how information disclosure affects a financial market. In this framework of artificial stock market, all traders are characterized by bounded rationality. The traders are able to learn and adjust their predictions of financial market by means of a genetic programming algorithm. We try to understand how market transparency affects the volatility and the liquidity of a securities market.

科学研究費補助金 研究種目:基盤研究(B) 課題番号:10480243 研究代表者:碓氷 章彦 研究期間:1998－2001年度