16775 research outputs found
Sort by
回顧的思考発話の中で誤情報を提示するmRTA法の効果
Get PDF定性調査やユーザビリティテストなどで用いられている回顧的思考発話法（Retrospective Think-Aloud法：RTA法）には，十分な発話量が得られなかったり記憶の正確な想起が難しかったりするなどの問題がある．我々は，これらの問題を解決するために，RTA法の実施時に提示するタスク遂行時の記録情報に誤情報を混入する方法であるmRTA法（misinformed Retrospective Think-Aloud 法) を提案している．mRTA法の効果を検証するための実験を実施した．その結果mRTA法は，特に熟達度の高い作業者に対しては記憶の正確な想起と発話量の増加に有効である一方，熟練度の低い作業者においては記憶の正確な想起をむしろ好ましくない影響を与える可能性があることを確認した．インタラクション2025, 学術総合センター内 一橋記念講堂, 2025年3月2日-4
同音誤字は文章の内容把握にどう影響するのか
Get PDF現代社会において，人々が記憶すべき文章情報は膨大であり，機械の取扱説明書や法律，教科書，規則，会員規約などが挙げられる．しかし，これらの情報は多くの人々にとって興味を引かない内容であるため，重要性に関わらず記憶することが容易ではない．その結果，情報の正確な理解や遵守に支障をきたし，社会全体の効率性や安全性に影響を及ぼす可能性がある．本研究では，文章中に正しく読めるが誤った漢字である「同音誤字（例：我苦紋＝学問）」を含めることで，読み手が文章の内容や出てくる単語をより効果的に記憶できるのではないかという仮説を立てている．本稿では，この仮説を検証するための初期的な実証実験として，被験者に同音誤字を含む文章を提示し，その後に内容理解テストおよび同音誤字の記憶テストを実施した結果について報告する．インタラクション2025, 学術総合センター内 一橋記念講堂, 2025年3月2日-4
触手型機構を用いたウェアラブルデバイスの開発と設計支援システムの提案
Get PDFソフトロボットアームはその柔軟性から，人体を傷つけず人間とロボットアームとのインタラクションをもたらすのに適している．本研究では，柔軟性と有機的な動きを実現するソフト・マニピュレータ，ウェアラブル触手型ロボットアームデバイス(SpiMan)とその設計支援システムの開発を行った．本デバイスは複数本のケーブルによって制御されるウェアラブルデバイスで，物の把持や新たな身体表現が可能である．これにより，デバイス装着者と人やモノとのインタラクションを可能にする．また，複数本の触手の同時使用デバイスを作成し，応用の可能性を示している．設計支援システムは3次元モデリングソフトを用いて作成した．さらに，ユーザ評価を行い，表現の拡張性が示唆された．情報処理学会第212回ヒューマンコンピュータインタラクション研究発表会, 芝浦工業大学豊洲キャンパス, 東京, 2025年3月5日-7
法令工学の実践 国民年金法の述語論理による記述と検証
Get PDF国民年金法のような行政サービスに関する法令は，その内容は明確であり，文章上の見かけの複雑さの割には論理的深度は深くない．したがって，論理式などの形式的体系によってそれを記述することにより，可読性が高く，機械的なテストや分析が可能な法令記述が得られる可能性が高い．このような法令は我々の社会の制度的基盤であり，その施行IT システムが我々の社会生活を支えていることを考えると，法令に対する形式的技術の確立は重要である. 本書は，このような立場から国民年金法の基本的条文の述語論理式による記述と定理自動証明器（SMT ソルバー）Z3Py による検証について述べたものである．近年の定理証明技術の進歩や計算機システムの高性能化により，このような技術は行政サービスを規定する法令の作成や管理のための基盤技術になりえるものと考える． 特に，定理自動証明器は条文論理式の実行機構という側面を持ち，法令施行IT システムの基本メカニズムと考えることができる．度重なる法令改正への対応により法令施行IT システムの内部構造の劣化が進み，現在その保守の困難性が社会的な問題となっているが，この方法による法令施行メカニズムは，通常は改正条文に対する論理式を正しく変更さえすれば法令全体としての動作が保証されることから，本書で紹介する法令の形式化・検証技術は法令施行IT システムの保守問題に対する有力な解決法になると期待できる． 本書は，このような新しい法令作成方法論の原理的可能性を示すために書かれた日本ソフトウェア科学会誌論文「国民年金法の述語論理による記述と検証，SMT ソルバーZ3Py を用いたケーススタディ」の内容を事例の面から補強し，そこで紹介した形式化方法論を国民年金法のより多くの条文へ適用した結果を詳細かつ具体的に述べたものであり，形式的手法が広く実践される助けとなることを目的としたものである．各条文ごとに，(1) 条文の文章，(2) 条文論理式，(3) 検証スクリプトと検証結果，(4) それらの内容に関するメモを掲載した． 論理式記述は，マクロ表現を用いてなるべく簡潔になるように心懸けたが，これらのマクロの定義などを基本用語定義集として纏めた．これには日付表記や期間，月数，年齢，イベント成立の前後関係などが含まれ，年金法に内在する時間の構造を表現している． 一方，検証においてはテストデータとしての個人記録が必要であるが，各条文の検証に必要な複数の個人記録も纏めて収録した．また，日付けを代数的抽象データとして扱った検証事例や論理式記述に基づく年金システムシミュレーターの構成の概略なども収録した． 最後に，筆者は年金サービスに関する専門家ではなく，本書の論理式化は筆者が注釈書[1, 2] などを頼りに条文を理解することにより行ったものである．この点において年金サービスの専門家から見た場合には条文の理解に不備がある可能性はあるが，最終的な結論である行政サービスに関する法令の形式化の可能性については，大きな間違いはないと考えている．この点も含め，内容に関する疑義に関してはご指摘いただければ幸いである．2019年10月 第1版発行 / 2019年11月 第2版発行 / 2020年11月 第3版発行 / 2021年12月 第4版発行 / 2023年7月 第5版発行 / 2025年3月 第6版発行 / ISBN:978-4-903092-53-92025年3月24日 第6版公開[第１版からの変更] 第十四条年金原簿：変更，第九十四条保険料の追納：追加[第2版からの変更] 変更，修正(第十四条 年金原簿，第八条 資格取得の時期，第九条 資格喪失の時期，年金原簿の記述法)，述語名の変更(第二十六条，第二十八条)，追加（第九十四条 保険料の追納，附則（平成一六年六月一一日法律第一〇四号）第十九条)，追加(実際の暦による日付けの記述)，追加(論理式記述に基づく年金システムシミュレーターの構成の概略)[第３版からの主な変更]・条文論理式において他の条文や年金原簿で定義された述語をインポートし参照する形式を「述語名」から{「条文番号」,「年金原簿名」}.「述語名」に変更した．これにより，条文間の関連が明確となると同時に，年金原簿の操作の前後における変更の記述が明確となった．・検証で必要とする年金原簿，基本用語定義集の設定内容を検証スクリプト内に直接記述する方式に変更した．・基本用語定義集definitions,definitions_date において，事由成立の前後関係オペレータの名称と関数性を変更した．充足リスト，月数定義アルゴリズムの最適化を行った．[第４版からの主な変更]・用語定義集definitions_date_3 における通日⇔西暦年月日変換において多用される実数除算＋floor 関数の実現が大井によるquot 関数により極めて簡単に実現できることが判明し[4]，これまでの量限定子を用いる方法に代えてこれを採用した． ・期間，月数などの日付オペレータについては，量限定子を用いた論理式による定義に先だって，充足性判定で行うPython 版を優先して使用する形にした． ・条文論理式の表現が条文の文章としても読み下せることを考え，他の条文で定義される述語の参照の方式を，条文番号・述語名の形式から述語名の形式に戻した． ・「論理式記述に基づく年金システムシミュレーターの構成」の内容を改めた． ・第八条，第九条のノートの記述を改めた．[第５版からの主な変更] ・条文では主に概念や用語の定義が行われ条文論理式として形式化される．一方．厚労大臣への申請や請求などのようなアクションも記述されているが，前版ではその取扱いが不十分であった．本版ではこれを検証スクリプトとして記述した(例えば，第九十条, 九十四条)． ・期間，月数などの日付オペレータについては，量限定子を用いた論理式による定義に先だって，充足性判定を直接用いたPython 版を優先して使用する形にした． ・他の条文で定義されている述語の参照に関しては，単に述語名の形にする一方，個人記録の参照に関しては，本人. 述語名の形でimport する方法に改め，全体的な読みやすさを高めた． ・「論理式記述に基づく年金システムシミュレーターの構成」の内容を改めた． ・本報告書の第一版が刊行されてから５年が経つ．この間条文の一部，例えば第七条などが改正されている．本来であれば本報告もこれに全面的に対応すべきであるが、論理式化の方法に大きな違いがないことを考え今回はこれを見送った
Adaptive Vacuum Suction Cups with Fluid-Filled Skirts for Robotic Adhesion to Uneven Surfaces
Get PDFSuction cups are widely recognized as a cost-effective and efficient adhesion solution across various practical applications. While traditional suction cups perform well on smooth surfaces such as glass and tiles, they face significant challenges on rough, uneven, or porous surfaces commonly encountered daily. Additionally, soft and deformable surfaces often render conventional suction cups ineffective. This study addresses these limitations by enhancing suction cup performance by incorporating flexible skirts. A suction cup with a diameter of approximately 90mm was constructed using 3D-printed components and 18-inch latex balloon materials with an approximate thickness of 1mm. The adhesion performance of the designed suction cups was systematically evaluated on uneven surfaces with different skirtfilling materials. The findings provide insights into improving suction cup adaptability and effectiveness for uneven surface conditions.2025 11th International Conference on Control, Automation and Robotics (ICCAR 2025), Kyoto, Japan, April 18-20, 202