Polymorphic Computation Systems: Theory and Practice of Confluence with Call-by-Value Polymorphic Computation Systems: Theory and Practice of Confluence with Call-by-Value

solver, termination, confluence, rewriting

【開催報告】第25回ステアラボ人工知能セミナー 内部英治 様「強化学習と逆強化学習を組み合わせた模倣学習」 Seminar Report: The 25th STAIR Lab AI Seminar: Dr. Eiji Uchibe, "Imitation Learning based on a Combination of Forward and Inverse Reinforcement Learning"

report, seminar

A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language

program verification, parallel processing, concurrency, type system, operational semantics, high performance computing

【終了】第25回ステアラボ人工知能セミナー 内部英治 様「強化学習と逆強化学習を組み合わせた模倣学習」 The 25th STAIR Lab AI Seminar: Dr. Eiji Uchibe, "Imitation Learning based on a Combination of Forward and Inverse Reinforcement Learning"

【開催報告】第24回ステアラボ人工知能セミナー 神嶌敏弘 様「公平性配慮型データマイニング」 Seminar Report: The 24th STAIR Lab AI Seminar: Dr. Toshihiro Kamishima, "Fairness-aware Data Mining"

report, seminar

【終了】第24回ステアラボ人工知能セミナー 神嶌敏弘 様「公平性配慮型データマイニング」 The 24th STAIR Lab AI Seminar: Dr. Toshihiro Kamishima, "Fairness-aware Data Mining"

【開催報告】第23回ステアラボ人工知能セミナー 荒井ひろみ 様「データマイニングにおけるプライバシ保護と安全性」 Seminar Report: The 23rd STAIR Lab AI Seminar: Dr. Hiromi Arai, "Privacy Protection and Security in Data Mining"

report, seminar

【終了】第23回ステアラボ人工知能セミナー 荒井ひろみ 様「データマイニングにおけるプライバシ保護と安全性」 The 23rd STAIR Lab AI Seminar: Dr. Hiromi Arai, "Privacy Protection and Security in Data Mining"

【開催報告】第22回ステアラボ人工知能セミナー 藤田篤 先生「同義の言語表現(言い換え)を処理する技術の研究動向」 Seminar Report: The 22nd STAIR Lab AI Seminar: Dr. Atsushi Fujita, "Research Trends in Technologies to Process Synonymous Linguistic Expressions (Paraphrases)"

report, seminar

【終了】第22回ステアラボ人工知能セミナー 藤田篤 先生「同義の言語表現(言い換え)を処理する技術の研究動向」 The 22nd STAIR Lab AI Seminar: Dr. Atsushi Fujita, "Research Trends in Technologies to Process Synonymous Linguistic Expressions (Paraphrases)"