https://www.jaist.ac.jp/is/labs/tojo-lab/ 2026-04-29T22:53:46+09:00 https://www.jaist.ac.jp/is/labs/tojo-lab/ https://www.jaist.ac.jp/is/labs/tojo-lab/lib/tpl/flat/images/favicon.ico text/html 2019-11-02T16:40:35+09:00 https://www.jaist.ac.jp/is/labs/tojo-lab/doku.php?id=belief_calculator&rev=1572680435&do=diff text/html 2019-11-02T16:36:52+09:00 https://www.jaist.ac.jp/is/labs/tojo-lab/doku.php?id=demo_a&rev=1572680212&do=diff DEMO+A News Last modified: September. 5th, 2017 * September. 5th, 2017 * Version 0.0.1.0 is released: Download * This is the first release for Jurisin2017 paper (under reviewing) Summary DEMO is known as a modeling tool for Dynamic Epistemic Logic and programmed in Haskell. It allows modeling update of an epistemic model, display of Action Model, formula evaluation in these models, so DEMO can be used to check semantic intuitions about what goes on in the updating situations. We ex… text/html 2019-11-02T16:26:25+09:00 https://www.jaist.ac.jp/is/labs/tojo-lab/doku.php?id=elvis&rev=1572679585&do=diff ELVis - Epistemic Logic Visualizer Author: Shoshin Nomura 野村尚新 Website: <https://nomuras.github.io/ELVis/> screenshot1 (Kripke model editor) screenshot2 (theorem prover for an epistemic logic) text/html 2019-11-02T14:52:53+09:00 https://www.jaist.ac.jp/is/labs/tojo-lab/doku.php?id=howto&rev=1572673973&do=diff 研究の進め方 [簡易版] * 研究を始める前に * 自分の研究テーマの位置づけを関連諸テーマとの関係で適切に述べることができるようにする． すなわち，その分野全体では，何が大問題であり，自分が解くべき小問題はその大問題の中のどういう位置づけかを述べることができるようにする． text/html 2019-11-01T22:06:44+09:00 https://www.jaist.ac.jp/is/labs/tojo-lab/doku.php?id=intro&rev=1572613604&do=diff text/html 2019-11-02T15:03:00+09:00 https://www.jaist.ac.jp/is/labs/tojo-lab/doku.php?id=lectures&rev=1572674580&do=diff 講義資料 年 講義名 資料 アーカイブ 2019 I237-形式言語とオートマトン 2019年度スライド, 2018年度スライド 講義映像 2016 論理推論と知識表現 講義映像 2016 グラフとオートマトン理論 講義映像 2015 論理推論と知識表現 講義映像 2015 グラフとオートマトン理論 text/html 2023-05-17T11:06:03+09:00 https://www.jaist.ac.jp/is/labs/tojo-lab/doku.php?id=member&rev=1684289163&do=diff メンバー 教授 * 東条敏 (Tojo, Satoshi) 特別研究員 * 宋 陽 (Song, Yang) 博士後期課程 * 谷口 雅弥 (Taniguchi, Masaya) 博士前期課程 * 高橋 郎郁 (Takahashi, Akifumi) * 清水颯太郎 (Shimizu, Sotaro) * 久保埜 雄大 (Kubono, Yudai) * 吉岡秀基 (Yoshioka, Hideki) text/html 2022-04-21T11:46:30+09:00 https://www.jaist.ac.jp/is/labs/tojo-lab/doku.php?id=sidebar&rev=1650509190&do=diff * 東条研究室について * 研究紹介 * 研究テーマ * メンバー * 学位論文 * 研究の進め方 * 講義 * 制作物 * Belief Calculator * Demo+A * ELVIS * 学内専用 * セミナー * 実験環境 text/html 2019-11-02T14:26:26+09:00 https://www.jaist.ac.jp/is/labs/tojo-lab/doku.php?id=start&rev=1572672386&do=diff 東条研究室 Tojo Lab. はじめに 人工衛星や人工呼吸はどういうものかよくわかる． それは衛星や呼吸というものがどういうものか，われわれがよく知っているから． では人工知能ということばはどうだろう？ text/html 2019-11-02T16:18:25+09:00 https://www.jaist.ac.jp/is/labs/tojo-lab/doku.php?id=thesis&rev=1572679105&do=diff 博士論文/ Ph.D. Theses YearAuthorTitle2019-03Sudo, Hiroki 須藤, 洸基Interated Learning of the Music/Language Structure with Ambiguous Meaning(意味の曖昧さを考慮した音楽・言語構造の繰り返し学習)2018-06Racharak, TeeradajConcept Similarity and Agent's Preferences in Description Logics: Computations and Applications(記述論理における概念の類似性とエージェントの選好：理論と応用)2017-06Jirakunkanok, PimolluckLogic-based Analysis of Belief Change in Judgment(判决過程における信念変更の論理的解析)2017-03Hatano, Ryo 秦野, 亮Linear Algebraic Semantics for Modal Logic of Multi-agent Communi… text/html 2019-11-01T21:57:22+09:00 https://www.jaist.ac.jp/is/labs/tojo-lab/doku.php?id=topics&rev=1572613042&do=diff Themes Logic * Dynamic Epistemic Logic * Linear Algebraic Representation * Logic with Awareness * Logic with Communication Channel * Reliability of Information Source * Permit / Forget / Link Retrieval * Detective Story - who knows what at watch time?