PyCon Taiwan 2023｜Talk 演講｜Day 1, R0 16:00–16:30 ? 說明 Description ? 軟體系統的複雜邏輯使得開發者往往需要對大量的分支情況精準處理，以確保整體產品盡可能地如預期中運作，撰寫無處不在的測試來把關每一個環節便是一種廣為採用的實踐方式。這時如何有效率的實作合格的測試就成了大問題，尤其是設計觸發特定情況的合適資料往往勞心費神，要顧及多種 edge case 時工作量更會成倍增加，時間久了便會感到倦怠而排斥寫測試。值得慶幸的是 Property-Based Testing 概念的出現開啟了更多軟體測試上的可能性，除了藉由隨機性有效率的生成測試所需內容，並覆蓋到過往人工編寫容易忽略的 edge case 外，也能引導團隊反思產品的功能可能收到什麼樣的輸入、怎麼樣的結果該被定義為異常等等，進一步提升自動化測試在軟體產品研發過程中的影響力。 在此議程中講者會藉由介紹 Property-Based Testing 的思維模式與工具應用，同時分享在技術導入與團隊合作上的經驗，讓聽眾在未來設計測試時有更佳靈活的策略與選擇，並進一步將影響力擴展到整個團隊上。 ? 投影片 Slides：https://drive.google.com/file/d/1cejbP-QVDtUphQ292FOB1RgyonDVmcYP/view?usp=sharing ? 講者介紹 About Speaker - Rain Wu? 目前在 Netskope 擔任 Senior Software Engineer，心血來潮時會用 Python 和 Go 為自己喜歡的開源工具貢獻微薄之力（但不一定會被接受），同時也是名桌遊愛好者。 Follow “PyCon Taiwan” ⭐️ Official Website: https://tw.pycon.org ⭐️ Facebook: https://www.facebook.com/pycontw ⭐️ Instagram: https://www.instagram.com/pycontw ⭐️ Twitter: https://twitter.com/PyConTW ⭐️ LinkedIn: https://www.linkedin.com/company/pycontw ⭐️ Blogger: https://conf.python.tw/ ... https://www.youtube.com/watch?v=hS27y9EZwFo

PyCon APAC 2022｜一般演講 Talks｜國泰金控 Cathay Financial Holdings / 美光科技 Micron 冠名贊助 ✏️ 共筆 Note：https://hackmd.io/@pycontw/HyCRLpQyi ?? Slido：https://app.sli.do/event/fLCSJrx9LtUJq631UaNLuQ ? 語言 Language：英文 English ? 層級 Level：中階 Intermediate ? 分類 Category：自然語言處理 Natural Language Processing ? 摘要 Abstract ? Math word problem (數學應用問題) is one of the Holy Grail issue in modern AI community, especially in NLP/NLU field. It takes a machine that understands the semantics of human languages and equipts with mathematic skills to solve the equations desribed with natural languages. As Loki NLU engine provides accurate semantic parsing result and SymPy is good at solving equations, I'd love to share my experience of using Loki NLU engine to convert math word problems into equations, then solve them with SymPy. The beauty of these two tools is that they are both Python-based and it only takes basic Python skills to build the math word problem solver. To begin with, I present a simple comparison of NLU systems and their joy and tears (mostly tears) while dealing with math word problems. Then, the hybrid NLU system, Loki, is used to convert math word problems into equations. Finally, I introduce SymPy and how to use it to solve the equations to get the answer of the problem. ? 說明 Description ? Mainstring math word problem solving procedures take this issue as an "Alignment Problem" or a "Searching Problem." Both appraoches can only get approximately 60% (more or less) accuracy. On the other hand, Loki (Linguistic Oriented Keyword Interface) is a hybrid NLU system that has both rule-based Structural Pattern Matching module and a ML-based synonym module to provide way much accurate NLP/NLU accuracy and thus a better conversion between natural language and math equations. We have done this with Loki on Chinese math word problems and written a paper on this topic. The paper is accepted as poster in ROCLING 2019 (2019 台灣計算機語言學年會) as poster paper. https://aclanthology.org/2020.rocling-1.21.pdf In this talk, I intent to do the same thing again, but this time I am doing it with with SymPy and with English math word problems. ? 講者介紹 About Speaker - PeterWolf ? 強人工智慧倡議者、設計者與實作者。 Strong AI advocater, designer and practitioners. #pycontw #pyconapac2022 #python #nlu #sympy #mathwordproblem Follow “PyCon Taiwan” ⭐️ Official Website: https://tw.pycon.org ⭐️ Facebook: https://www.facebook.com/pycontw ⭐️ Instagram: https://www.instagram.com/pycontw ⭐️ Twitter: https://twitter.com/PyConTW ⭐️ LinkedIn: https://www.linkedin.com/company/pycontw ⭐️ Blogger: https://pycontw.blogspot.com ... https://www.youtube.com/watch?v=u6SkdB6Oh1E