Others (Japanese national conferences/SIG workshops)

• 高橋和子，山下拓真，今井宜洋 "定理証明支援系による曲線の定性表現手法の形式化と証明，" 日本ソフトウェア科学会第30回大会, September, 2025.
• 森田凌平，高橋和子， "不整合面を含む地質構造の定性的な扱いについて," 情報処理学会研究会資料, SIG-MPS-152, 3, pp.1-6, March, 2025.
• 高橋和子，豊嶋 泰都: "定性的に表現された地質柱状図からの地層モデルの生成," 人工知能学会研究会資料, SIG-FPAI-131, pp.25-30, January, 2025.
• 高橋和子: "曲線の定性的扱いと自己交差性の判定," 情報処理学会第149回PRO研究会資料, June, 2024.
• 森田凌平，谷内勇太，高橋和子: "定性表現から地層を描画するプログラムの設計と実装," 人工知能学会第38回全国大会, May, 2024.
• 高橋和子，谷内勇太，森田凌平，黒岩杏衣: "定性的形状に基づく2次元平面上の曲線分の表現およびその連結に関する推論," 人工知能学会研究会資料, SIG-FPAI-128, pp.57-62, March, 2024.
• 谷内勇太，高橋和子: "地層の傾きに関する3次元上での定性的な推論について," 第22回情報科学技術フォーラム, September, 2023.
• 高橋和子，木村亜美，上野友裕: "動的議論フレームワークにおける論証の受理について," 信学技報, Vol.122, No.421, pp.1-6, March, 2023.
• 谷内勇太，高橋和子: "地層データの定性表現とその上での推論方法について," 第21回情報科学技術フォーラム, September, 2022.
• 野村尚新，高橋和子: "議論フレームワークにおける論証の正当性を示す負担の評価方法," 人工知能学会研究会資料, SIG-FPAI-120, pp.67-71, March, 2022.
• 高橋和子, 守安諒祐: "地層データの定性空間表現について," 情報処理学会第84回全国大会, March, 2022.
• 西鼻洸佑，高橋和子: "重み付き双極議論フレームワーク上の評価値計算と応用," 情報処理学会第84回全国大会, March, 2022.
• 中松稜，高橋和子: "カードゲーム「アールライバルズ」におけるカードの能力と戦略の関係," 情報処理学会研究報告ゲームプログラミングワークショップ2021論文集, pp.78-81, November, 2021.
• 東末桃，高橋和子: "Finding a Route without an Intersection," 電子情報通信学会コンピュテーション研究会，COMP2021-13，October, 2021.
• 西鼻洸佑，高橋和子: "Set-support をもつ重み付き双極議論フレームワーク上の評価値計算," 人工知能学会研究会資料, SIG-FPAI-117, pp.8-13, September, 2021.
• 中松稜，高橋和子: "カードゲーム「アールライバルズ」における戦略," 情報処理学会研究報告ゲーム情報学, 2021-GI-46(8), pp.1-4, June, 2021.
• 中松稜，高橋和子: "カードゲーム「アールライバルズ」の解析," 情報処理学会第83回全国大会, March, 2021.
• 西鼻洸佑，高橋和子: "重み付き双極議論フレームワークにおける論証の信頼性について," 情報処理学会第83回全国大会, March, 2021.
• 高橋和子，福原慶，江守広行: "法律適用の議論のための推論システム," 情報処理学会第83回全国大会, March, 2021.
• 佐藤健，高橋和子, 川崎樹: "民事裁判における対話型争点整理システム ISAI-PROLEG," 人工知能学会研究会資料, SIG-FPAI-B502, pp.12-18, November, 2020.
• 仁科慧，新田克己，高橋和子: "議論フレームワークを利用したオンライン議論のユーザインタフェース," 人工知能学会第34回全国大会, https://www.ai-gakkai.or.jp/jsai2020/proceedings June, 2020.
• 川崎樹，高橋和子: "非循環な双極議論フレームワークの段階的作成方法," 人工知能学会研究会資料, SIG-FPAI-B903, pp.73-78, March, 2020.
• 東末桃，高橋和子: "接点を持つ閉曲線の記号表現の提案とその性質について," 人工知能学会研究会資料, SIG-FPAI-B902, pp.34-39, January, 2020.
• 川崎樹，森口草介 高橋和子: "法律構成を表す双極議論フレームワーク上での推論," 人工知能学会第33回全国大会, https://confit.atlas.jp/guide/event/jsai2019/proceedings/list, June, 2019.
• 東末桃，高橋和子: "Process-Grammarに基づく形状変化の記述方式の提案," 人工知能学会第33回全国大会, https://confit.atlas.jp/guide/event/jsai2019/proceedings/list, June, 2019.
• 中西瑠海，森口草介，高橋和子: "論理型言語 PROLEG から双極議論フレームワークへの変換のCoqによる形式化と証明," 情報処理学会第81回全国大会, pp. 1:199-120 (学生奨励賞), March, 2019.
• 川崎樹，森口草介，高橋和子: "論理型言語 PROLEG に対応する双極議論フレームワークの意味論について," 日本ソフトウェア科学会第30回大会, August, 2018.
• 川崎樹，高橋和子: "論理型言語 PROLEG による記述から双極議論フレームワークへの変換," 人工知能学会第32回全国大会, http://www.ai-gakkai.or.jp/jsai2018/proceedings, June, 2018.
• 東末桃，高橋和子: "形状変化に着目した定性空間表現の提案," 人工知能学会第32回全国大会, http://www.ai-gakkai.or.jp/jsai2018/proceedings, June, 2018.
• 森野尊行，高橋和子: "異なる価値観をもつエージェント間での合意形成戦略の提案及びその評価," 人工知能学会研究会資料, SIG-KBS-B509, pp.7-12, March, 2018.
• 國生一幸，高橋和子: "不誠実な論証を扱う対話モデルの評価及び説得戦略の考察," 人工知能学会研究会資料, SIG-KBS-B509, pp.1-6, March, 2018.
• 森野尊行，高橋和子: "価値観の異なるエージェント間の議論フレームワークに基づく説得対話モデル," 人工知能学会第31回全国大会, http://www.ai-gakkai.or.jp/jsai2017/proceedings, May, 2017.
• 國生一幸，高橋和子: "不誠実な論証を扱う抽象議論フレームワークに基づく対話モデル," 人工知能学会第31回全国大会, http://www.ai-gakkai.or.jp/jsai2017/proceedings, May, 2017.
• 横浜静夏，高橋和子: "相手の知識モデルを使用した議論システムに基づく戦略的説得対話," 電子情報通信学会知能ソフトウェア工学研究会，KBSE2015-62，pp.79-84, March, 2015.
• 横浜静夏，高橋和子: "議論構造の変化の形式的表現--秘密を持つエージェントとの対話--," 人工知能学会第29回全国大会, http://www.ai-gakkai.or.jp/jsai2015/proceedings, May, 2015.
• 後藤瑞貴，森口草介，高橋和子, "定性空間表現の Coq による形式化およびその平面性の証明," 情報処理学会第103回PRO研究会資料, March, 2015.
• 森嶋崇，後藤瑞貴，森口草介，高橋和子, "Coqを使ったツリー型ネットワークトポロジー上でのCCNのモデル化と検証について," 情報処理学会第103回PRO研究会資料, March, 2015.
• 森口草介，高橋和子: "レコードの拡張を許す対話的修正機構," 第17回プログラミングおよびプログラミング言語ワークショップ, March, 2014, (論文賞).
• 森口草介，高橋和子: "対話的修正と対象プログラムの合成手法," 日本ソフトウェア科学会第30回大会, September, 2014.
• 森嶋崇，後藤瑞貴，高橋和子: "証明支援系Coqを使ったCCNのモデル化と検証について," 電子情報通信学会ディペンダブルコンピューティング研究会, 信学技報 Vol.114, No.21, pp.37-42, April, 2014.
• 榎本真也，高橋和子: "相対的な位置の高さを扱う定性空間表現と推論," 人工知能学会研究会資料, SIG-FPAI-B304, pp.1-6, March, 2014.
• 阪井田政樹，清瀬崇則，高橋和子: "定性時空間表現を使ったサッカーの試合動画からのイベント導出," 電子情報通信学会知能ソフトウェア工学研究会， 信学技報 Vol.113, No.475, pp.79-84, March, 2014.
• 後藤瑞貴，高橋和子: "定性空間表現PLCAのモデル化と妥当性の証明について," 日本ソフトウェア科学会第30回大会, September, 2013.
• Ghourabi,F. and K.Takahashi: "Formalization of the Qualitative Spatial Reasoning of Superposition of Rectangles in Proof Assistant," 日本ソフトウェア科学会第30回大会, September, 2013.
• 榎本真也，高橋和子: "定性空間表現上での位置の高低を考慮した経路探索システム," 人工知能学会第27回全国大会, June, 2013.
• 阪井田政樹，高橋和子: "定性時空間推論の枠組みを用いた動画からのイベント推論について," 人工知能学会第27回全国大会, June, 2013.
• 高橋和子: "間接的攻撃をもつ議論システム," 人工知能学会研究会資料, SIG-FPAI-B203, pp.1-7, January, 2013.
• 後藤裕貴，高橋和子: "定理証明器によって証明された C プログラムのマージャー," 情報処理学会第92回プログラミング研究会発表資料, January, 2013.
• 野尻篤，平田純也，高橋和子，巳波弘佳: "会話における非言語行動のイベント間関係に着目した解析支援ツールの作成," 人工知能学会研究会資料 SIG-SLUD-B103, pp.69-74, March, 2012.
• 小西貴子，高橋和子: "矩形同士の埋め込み型重ね合わせについての定性空間推論," 電子情報通信学会技術研究報告: 知能ソフトウェア工学研究会, KBSE2011-69, pp.13-18, March, 2012.
• 関澤俊弦，高橋孝一，高橋和子: "リングバッファ上の系に対する確率的対称性簡約," ウィンターワークショップ2012・イン・琵琶湖, IPSJ Symposium Series Vol.2012, No.1, pp.115-116, January, 2012.
• 関澤俊弦，高橋孝一，高橋和子: "ケーススタディ: Herman の確率的自己安定化アルゴリズムの状態削減と検証," ディペンダブルシステムワークショップ & シンポジウム (DSW & DSS 2011), December, 2011.
• 南部優，高橋和子: "質問を含む議論モデルの提案," 日本ソフトウェア科学会第28回大会, September, 2011.
• 小西貴子，高橋和子: "矩形同士の重ね合わせについての定性空間推論システムの拡張," 日本ソフトウェア科学会第28回大会, September, 2011.
• 佐藤健，高橋和子: "Semantics of Argumentation under Incomplete Information," 人工知能学会研究会資料, SIG-FPAI-B101, pp. 19-24, August, 2011.
• 南部優，高橋和子: "動的議論システムの意味論的考察," 情報処理学会研究報告：知能システム，Vol.2011-ICS-163, March, 2011.
• 小西貴子，高橋和子: "矩形同士の重ね合わせについての定性空間推論," 人工知能学会研究会資料 SIG-FPAI-B002, pp.7-14, September, 2010.
• 小野司郎，高橋和子: "脅威をもつ議論木に対する動的勝敗判定アルゴリズム," 日本ソフトウェア科学会第27回大会, September, 2010.
• 南部優，高橋和子: "義務論理による法規範の記述と妥当性の検証について," 人工知能学会第23回全国大会, June, 2010.
• 小西貴子，高橋和子: "矩形を対象とする定性空間推論," 人工知能学会第23回全国大会, June, 2010.
• 吉丸始須雄，高橋和子: "帰納的アプローチに基づく理想的電子現金方式のモデル化および証明支援系 Isabelle/HOL による 安全性の証明," 情報処理学会第78回プログラミング研究会発表資料, March, 2010.
• 豊島崇士，高橋和子，関澤俊弦: "Symmetry Reductionを使ったAISの確率付きモデル検査," 電子情報通信学会技術研究報告: ソフトウェアサイエンス研究会, SS2009-63, pp.91-96, March, 2010.
• 吉丸始須雄，高橋和子: "異なる帰納スキームにまたがる性質の定理証明手法," 日本ソフトウェア科学会第26回大会, September, 2009.
• 豊島崇士，高橋和子: "AISにおける送信予約システムのPRISMを用いた解析と検証," 第7回ディペンダブルシステムワークショップ, pp.1-11, July, 2009.
• 吉丸始須雄，高橋和子: "電子現金の分割利用可能性の形式化と帰納的証明," 情報処理学会第74回プログラミング研究会発表資料, June, 2009.
• 奥野健一，高橋和子: "知識変更を伴う議論システム," 電子情報通信学会技術研究報告: 知能ソフトウェア工学研究会, KBSE2008-59, pp.43-48, March, 2009.
• 高砂智紀，高橋和子: "車車間通信を用いた車線変更と脇道にともなう交通流の円滑化を図るモデルの提案と実装," 情報処理学会研究報告: 数理モデル化と問題解決, Vol.2009, No.19, pp.137-140, February, 2009.
• 雲川翔，高橋和子: "矩形領域に基づく定性空間推論の提案と実装," 情報処理学会第72回プログラミング研究会発表資料, January, 2009.
• 雲川翔，高橋和子: "可視情報付き領域を基礎とする定性空間推論の提案とその応用," 日本ソフトウェア科学会第25回大会, September, 2008.
• 奥野健一，高橋和子: "信念集合の変更を伴う議論," 日本ソフトウェア科学会第25回大会, September, 2008.
• 八尾俊佑，粟野宏昭，平岡康，高橋和子: "モデル検査器 SPIN による船舶用システムのモデル化と検証," 第6回ディペンダブルシステムワークショップ(特別講演), pp.61-68, July, 2008.
• 高砂智紀，高橋和子: "車車間通信を用いた車線変更にともなう交通流の円滑化に対する考察," 人工知能学会第22回全国大会, June, 2008.
• 安田武史，高橋和子: "定理証明器による電子現金プロトコルの検証," 情報処理学会第67回プログラミング研究会発表資料, January, 2008.
• 雲川翔，高橋和子: "凹凸情報と接触パターンに基づく定性空間表現," 情報処理学会第67回プログラミング研究会発表資料, January, 2008.
• 兼丸陽司，高橋和子: "マルチエージェントの連鎖的交渉を用いたスケジュール作成と調整," 電子通信学会研究報告(AI), AI2007-32/KBSE2007-42, pp.25-30, January, 2008.
• 八尾俊佑，粟野宏昭，平岡康，高橋和子: "モデル検査器を使った船舶用システムの検証について," 第4回システム検証の科学技術シンポジウム, pp.109-115, November, 2007.
• 奥野健一，高橋和子: "信念改竄によるばれない嘘の生成," 人工知能学会第21回全国大会, June, 2007.
• 西村和也，高橋和子: "輻輳問題を考慮したモバイルエージェントによるアドホックネットワークルーティング," 電子情報通信学会 研究報告, pp.25-30, March, 2007.
• 安田武史，高橋和子: "帰納的アプローチを用いた時間感知型暗号プロトコルの検証," 第3回システム検証の科学技術シンポジウム, pp.67-73, October, 2006.
• 安田武史，高橋和子: "定理証明を用いたWide Mouth Frog Protocolの検証," 日本ソフトウェア科学会第23回大会, September, 2006.
• 高橋和子，住友孝郎，竹内泉: "定性空間表現の二次元平面への埋め込みについて," 電子情報通信学会研究報告, pp.9-15, COMP2006-11，May, 2006.
• 住友孝郎，高橋和子: "定性空間推論: PCLA表現と推論機構," 日本ソフトウェア科学会第22回大会, September, 2005.
• 稲畑康博, 高橋和子: "ボードゲームBAOにおける周期的動作の解析," 情報処理学会研究報告, 2005-MPS-53, pp.29-32, March, 2005.
• 住友孝郎，高橋和子: "定性空間推論の新しい枠組DLCSとその上での操作," 情報処理学会第52回プログラミング研究会発表資料, January, 2005.
• 住友孝郎，高橋和子: "DLCS: 空間の定性的な表現方法," 日本ソフトウェア科学会第21回大会, September, 2004.
• 稲畑康博, 高橋和子: "ボードゲームBAOの CCS による記述と解析," 情報処理学会第48回プログラミング研究会発表資料, March, 2004.
• 高橋和子: "性質の伝播に関する定性空間推論," 日本ソフトウェア科学会第20回大会発表資料, September, 2003.
• 桝村友哉, 高橋和子: "マルチエージェント間の交渉による修正の連鎖を用いたスケジュール作成," 情報科学技術フォーラム(FIT)2003論文集, pp.411-412, September, 2003.
• 稲畑康博, 高橋和子: "ボードゲームBAOの対戦戦略の解析と評価," 情報科学技術フォーラム(FIT)2003論文集, pp.271-273, September, 2003.
• 川島千明, 高橋和子: "強相互作用を持つマルチエージェントによる効率的な問題解決方法," 情報処理学会第64回大会講演論文集, Vol.2, pp.301-302, March, 2003.
• 河原崎 兼介, 高橋和子: "モバイルエージェントを用いた動的ネットワークルーティングシステムの拡張および効率化," 情報処理学会第64回大会講演論文集, pp.311-312, March, 2003.
• 高橋和子: "空間情報と意味情報を統合した推論方法," 日本ソフトウェア科学会第18回大会, September, 2001.
• 高橋和子, "空間に埋め込まれた意味情報の記述," 情報処理学会第31回PRO研究会資料, November, 2000.
• 高橋和子: "空間情報の抽象化について," 情報処理学会第27回PRO研究会資料，January, 2000.