ソフトウェア業界ではワクワクする新しいテクノロジーがどんどん生まれ、それが世の中で使われるまでも早くなっています。2018年に革新があった Deep Learning は、既に民主化・日常化もしてます。この講演では、そのソフトウェアの今を俯瞰し、今後どうなっていくのか? その未来予想とともに。職業として20年以上の経験を得た私の学びをお伝えします。
2024/2/27 に JASA OpenEL working group で講演した資料
https://note.com/kae_made から公開している概念モデリングに関する技術コンテンツをAzure OpenAI Studio で追加学習し、概念モデリング支援チャットを作成を試す方法を解説
デモ動画は、https://youtu.be/UGCuMwM8cEE?si=wT9YH8Hx8Zmjuolf で視聴可
ソフトウェア業界ではワクワクする新しいテクノロジーがどんどん生まれ、それが世の中で使われるまでも早くなっています。2018年に革新があった Deep Learning は、既に民主化・日常化もしてます。この講演では、そのソフトウェアの今を俯瞰し、今後どうなっていくのか? その未来予想とともに。職業として20年以上の経験を得た私の学びをお伝えします。
2024/2/27 に JASA OpenEL working group で講演した資料
https://note.com/kae_made から公開している概念モデリングに関する技術コンテンツをAzure OpenAI Studio で追加学習し、概念モデリング支援チャットを作成を試す方法を解説
デモ動画は、https://youtu.be/UGCuMwM8cEE?si=wT9YH8Hx8Zmjuolf で視聴可
Introduction to Max-SAT and Max-SAT EvaluationMasahiro Sakai
The slides for my talk on Feb. 27 2014 at ZIB.
Abstract:
Maximum Satisfiability (Max-SAT) and its weighted variants are optimization extension of Boolean Satisfiability (SAT), and it is interesting that technologies from both AI/CP community and OR community are employed to solve Max-SAT problems.
In this talk, I present brief introduction of SAT/Max-SAT problems, some of solving approaches, and my experience of submitting SCIP and my own SAT-based solver "toysat" to the Max-SAT Evaluation 2013; the annual Max-SAT solver competition. After that, I would like to have a discussion on submitting SCIP to the upcoming Max-SAT Evaluation 2014.
“Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介@P...Masahiro Sakai
PLDIr#6 (2010-02-11) での Adoption and Focus: Practical Linear Types for Imperative Programming と MaJIC: Compiling MATLAB for Speed and Responsivenes の紹介。
6. 自分の場合: 2013年頃からCourseraで色々と受講
• 好奇心
• スキルのポートフォリオ拡大
Computing for Data Analysis
Roger D. Peng @ ジョンホプキンス大
Data Analysis
Jeff Leek @ ジョンホプキンス大
Machine Learning
Andrew Ng @ スタンフォード大
Introduction to Recommender
Systems
Joseph A. Konstan 他 @ ミネソタ大
Process Mining: Data science in
Action
Wil van der Aalst
@アイントホーフェン工科大
データ分析・機械学習系
• Linear and Discrete Optimization
• Model Thinking
• Developing Innovative Ideas for
New Companies: The First Step in
Entrepreneurship
• Gamification
• Introduction to Computational
Finance and Financial Econometrics
• Introduction to Galois Theory
• …
その他にも色々
自分は技術系のコースが多いけれど
法律・会計・歴史・音楽など
多様なコースが存在