相次ぐ路線バスの縮小・撤退を背景に，自治体が主体となって運営するコミュニティバスを導入する事例が増加している．しかし，利用者が少ないコミュニティバスの運営は自治体にとって大きな負担となっており，交通不便地域における市民の足を維持することが困難となっている．本研究はより少ない費用で実施可能な利用促進策としてバスマップに注目し，既存のバスマップの問題点を整理した上で，新しいバスマップの作成を試みた．新しいバスマップの効果をグループインタビュー調査およびアンケート調査を通じて検証した結果，内容を吟味したバスマップは，グループインタビューにおける議論の活性化に影響を与える可能性を示した．

Online ISSN : 1884-7072 Print ISSN : 0559-8362 ISSN-L : 0559-8362

トップページ→研究分野と周辺→記号論理→ 命題論理は例えば「AはBだ」という命題をp等の論理記号で表現し、それを要素命題として扱った。 述語論理（記述論理ともいう）は、その内部構造を明示するため、「AはBだ」といった述語を用いた命題を、述語記号と項（変数又は定数）で表現する。 日本語では「AのB」といった表現でよく表される、命題ではない複合概念は、関数記号で表現する。 また量化記号を使い、日本語の「全てのA」「或るA」といった概念を記号で表現出来るのも特長だ。量化記号を変数にのみ用いる述語論理を一階述語論理という。 命題論理の拡張なので、「否定」「連言」「選言」「含意」の論理記号も使用する。 量化記号を述語や関数にも用いる論理を二階以上の高階述語論理というが、論理的に完全ではないとされる。ここでは一階述語論理について述べる。 項と述語記号・関数記号 例えば「ソクラテス」をsという項で表現し