(57)【特許請求の範囲】
【請求項１】
建築物件情報を入力する物件情報入力手段と、建築法規を命題群として記憶する法規データベースと、建築物件の法規順守チェックに必要なチェックリストを表示するチェックリスト表示手段を具備した、建築物件の法規順守チェックを支援するシステムであって、
物件情報入力手段で入力される物件情報が、建築物件の階層構造に含まれる階層的部位と、該階層的部位の個数の情報を含み、
法規データベースが、論理命題として捉えた建築法規の文章を、建築物の階層的部位が順守すべき事項の命題とした順守事項命題（Ｎ命題）と、該順守事項命題が免除される階層的部位の条件を命題とした免除条件命題（Ｃ命題）とに論理原則にもとづいて置換して、さらに、該順守事項命題（Ｎ命題）と免除条件命題（Ｃ命題）を、それらを構成する要素命題と、該要素命題を被演算子とする論理演算として記憶したものであり、
チェックリスト表示手段が、前記物件情報入力手段で入力された物件情報にもとづいて、前記法規データベースから、建築物件の階層構造に含まれる階層的部位に対応した順守事項命題（Ｎ命題）と免除条件命題（Ｃ命題）を、それらを構成する要素命題と、該要素命題を被演算子とする論理演算として引用し、
利用者の選択に応じて以下の（１）の項目を表示する折りたたみ表示と、該（１）の項目をブレークダウンした以下の（２）の項目も表示する展開表示とを可逆的に、かつ、建築物件の階層構造に含まれる階層的部位の個数だけ、以下の（３）のように表示するシステム。
（１）  順守事項命題（Ｎ命題）または免除条件命題（Ｃ命題）を構成する複数の要素命題をまとめた代表命題、および該代表命題の真をチェックするチェックボックス欄。
（２）  （１）の項目の代表命題に含まれる複数の要素命題、および該複数の要素命題の真をチェックする複数のチェックボックス欄。
（３）  該チェックリスト表示手段による表示が行列状で、展開表示では、折りたたみ表示の代表命題に含まれる複数の要素命題の表示行が該代表命題の表示行の下の行に表示され、かつ、展開表示された複数の要素命題の表示行に論理積または論理和を示す論理演算マークを表示して、代表命題と該代表命題の表示行の下の行に展開表示で表示される複数の要素命題との論理関係が、前記の論理演算マークによって示されている。
【請求項２】
建築物件の法規順守チェックを支援するシステムを動作させるプログラムであって、
建築物件の階層構造に含まれる階層的部位と、該階層的部位の個数の情報を含む物件情報を入力する手順と、
論理命題として捉えた建築法規の文章を、建築物の階層的部位が順守すべき事項の命題とした順守事項命題（Ｎ命題）と、該順守事項命題が免除される階層的部位の条件を命題とした免除条件命題（Ｃ命題）とに論理原則にもとづいて置換して、さらに、該順守事項命題（Ｎ命題）と免除条件命題（Ｃ命題）を、それらを構成する要素命題と、該要素命題を被演算子とする論理演算として記憶した法規データベースから、前記物件情報にもとづいて、建築物件の階層構造に含まれる階層的部位に対応した順守事項命題（Ｎ命題）と免除条件命題（Ｃ命題）を、それらを構成する要素命題と、該要素命題を被演算子とする論理演算として引用する手順と、
引用した順守事項命題（Ｎ命題）と免除条件命題（Ｃ命題）を、利用者の選択に応じて以下の（１）の項目を表示する折りたたみ表示と、該（１）の項目をブレークダウンした以下の（２）の項目も表示する展開表示とを可逆的に、かつ、建築物件の階層構造に含まれる階層的部位の個数だけ、以下の（３）のように表示する手順をコンピュータに実行させるプログラム。
（１）  順守事項命題（Ｎ命題）または免除条件命題（Ｃ命題）を構成する複数の要素命題をまとめた代表命題、および該代表命題の真をチェックするチェックボックス欄。
（２）  （１）の項目の代表命題に含まれる複数の要素命題、および該複数の要素命題の真をチェックする複数のチェックボックス欄。
（３）  該チェックリスト表示手段による表示が行列状で、展開表示では、折りたたみ表示の代表命題に含まれる複数の要素命題の表示行が該代表命題の表示行の下の行に表示され、かつ、展開表示された複数の要素命題の表示行に論理積または論理和を示す論理演算マークを表示して、代表命題と該代表命題の表示行の下の行に展開表示で表示される複数の要素命題との論理関係が、前記の論理演算マークによって示されている。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、建築物件が建築基準法など法律や基準等の関連法規を順守しているかどうかをチェックする作業を支援するコンピュータ技術である。
【０００２】
法規の順守チェックは、あらゆる業界で扱われる商品やビジネスに関わる法律や基準等に対して行われる一般的なものである。
【０００３】
たとえば、建築業界では、建築確認検査や住宅性能評価などで規制の順守チェックが行われる。ここで、建築確認検査は、建築物を建設、使用する際に建築基準法で定められた審査であり、住宅性能評価は、住宅の品質確保の促進等に関する法律で定められた住宅の性能表示に関するもので、管轄官庁等へ確認検査済の申請を要する。
【背景技術】
【０００４】
こういった検査や評価の実務において、法律や基準等で定められた規制が順守されているのかのチェック作業が行われる。そのチェック作業は、技術や法律等に詳しい専門技能を要する人材が行う高度な作業である。
【０００５】
そのため、チェックに要する時間と費用がかさむので改善が望まれていた。すなわち、高度で専門技能を要する規制の順守チェック作業にて、正確性を保ちながら迅速に、かつ、だれでもできるようチェック作業を容易化すること、ルーチン作業を自動化することが望まれていた。
【０００６】
かかるニーズに対して、いくつかの技術が提案されている。本発明に関連する公知技術を、主に建築分野に絞って以下のように調査した。
【０００７】
特許庁データベース（ＩＰＤＬ）にて、例示される以下のキーワード群の積集合を請求項にもつ公開特許、登録特許を検索した。第一キーワード群「法律  法規  規則  規制」など、第二キーワード「チェック」「順守」「申請」「確認」など、第三キーワード「建築」「建物」「建造」「設計」など、である。
【０００８】
この検索調査により、以下の参考１〜１２の特許が抽出された。すなわち：
参考１  特開平１０−３２０４３０号公報（松下電工）
参考２  特開２００１−０１４３６３号公報（エー・アイ ソフト）
参考３  特開２００１−１４７９４６号公報（大和ハウス工業）
参考４  特開２００２−１６３３０２号公報（アルファプライム・・）
参考５  欠番
参考６  特許第４８８９９６４号公報（エーケー）
参考７  特許第３０５５８５６号公報(戸田建設）
参考８  特許第３４３０４３０号公報（松下電工）
参考９  特許第２９８７０７１号公報（システムスーパーソフトウェア）
参考１０  特許第５４０５２６３号公報（_住金システム建築）
参考１１  特許第４９０５２４７号公報（日立製作所）
これらを概説すると：
参考１には、［請求項３］［００１３］に法規に適合するか否を判断する法規チェック手段が記載されている。
参考２には、［請求項１］に建築条件および規制情報から、前記建物についての建築制限の情報を算出する機能・・、［０００８］に・・法的な規制についての建築制限の境界域を示す絵図が、その建物図についての表示に重ねて自動的に表示されるとある。
参考３には、［００１５］に・・建築に関する法規に適合するか否かを、建物を示す図と法規適合有無の表示とを併記した画面として、前記表示装置の画面に表示する法規チェック手段が示されている。
参考４には、［請求項６］に・・住宅建築関連法規に関するデータを保存する法規記録手段と・・法規手段に記録された法規データに基づき、法規適合評価を行う法規チェック手段・・が示されている。
しかし、参考１〜４に示された法規チェック手段は不明確で、実現性と実用性に疑問がある。
【０００９】
参考６は、［請求項１］に・・記憶手段・・演算手段・・表示手段とを備え、記憶手段は、法律、政令、省令、条例、・・から選択される規則を表わす文、文章を構成する要素となる複数の主語、直接目的語及び間接目的語を含む複数の目的語及び活用形語尾を含む動詞の複数の述語並びに・・を記憶情報として記憶するルールデータベースを開示している。
参考７は、［請求項１］に・・建物の階と・・各階毎の基準線と、該基準線を基準とした部材の数量、位置、立体的形状との夫々を定義した３次元データで構成され、該基準線を基準とした部材のうち柱と梁と壁の位置表現は、基準線を基準として・・した位置表現で行うようにしたシステムを開示している。
参考８は、［請求項１］に・・ディスプレイの画面上に建物の平面図を表示させ、・・の範囲の面積及び一辺の長さについての法規情報を読み出し、この法規情報と、上記自動設計機能部で計算された警戒区域の面積及び一辺の長さとを比較して当該法規に適合するか否かを判断する法規チェック機能部とを備えたＣＡＤ装置を開示している。
参考９は、［請求項１］に・・確認申請書に記載する情報のうちどの情報として使用できるかの識別子を付加する図面情報入力部と、・・図面情報記憶部とを備え、・・付加された識別子に基づいて抽出する申請情報抽出部と、・・該申請情報記憶部により記憶された申請情報を建築確認申請書の所定欄に当嵌めて出力するシステムを開示している。
参考１０は、［請求項１］に・・建築物の建設または販売に必要な複数の申請書類の書式を書式データとして保存しておくための書式データ記憶手段と、・・前記書式データ記憶手段に保存されている書式データを抽出し、・・データの中から必要なデータを抽出し、前記書式データの空白領域に埋め込んで申請書類を作成するシステムを開示している。
参考１１は、［請求項１］に・・法規制や規格などの条文を、その文章の章節などを用いて、複数の階層のカテゴリーに分けて記憶するデータ項目、・・規制・法律データベース、・・を備えた法令順守支援システムを開示している。
【００１０】
一方、特許文献１と特許文献２、および、公開情報として非特許文献１が周知である。
特許文献１は、建築基準法における単体規定の判定を行う規定文章の変換処理として、主語に対する係り元をＡ、前記主語と当該主語が係る述語にて形成される文章をＣｘとした場合、式（１）を当該主語についての基本式として条件式を作成する技術を開示している。（¬Ａ ∨ Ｃｘ …（１）、ただし、¬：論理演算における否定、∨：論理和。）
そして、特許文献１の図６〜図８に、建築基準法における単体規定を一部変更したものを例文とした実施形態について図示された解析結果のツリー表示図、並びに、変換処理における主語Ｓ、適用条件Ａ、適合条件Ｃｘの適用結果を示した図が開示されている。
すなわち、特許文献１は、建築物の建築基準をチェックするシステムにおいて、建築物のＣＡＤ情報と照合することによって建築基準を満たすか否かを判定するために、テキスト情報で構成された建築基準文書を解析し、建築基準の単体規定の基本条件式及び基本条件式の組合せの条件式を生成する方法を開示している。
【００１１】
特許文献２には、チェック項目をリスト化し、当該リストに基づいて各項目をチェックする際に、既にチェックした項目と同じ項目には、チェック済みであることが認識できるように表示する方法が記載されている。
【００１２】
非特許文献１には、建築法規を記憶する法規データベースを備え、建築物件情報を受け付けると、当該建築物件を構成する個々の部位ごとに遵守すべき建築法規を抽出し、建築物件を構成する個々の部位、及び、遵守すべき法規を階層的にリストアップして表示する建築法規自動チェックシステムが記載されている（特に、第１２頁、第１５−１８頁、第２２−２５頁）。
非特許文献１には、さらに、法規リストを折りたたみ・展開可能なツリー形式で表示し、チェック項目をチェックし得る表示方法も記載されている（例えば、第１５頁の「e-PlanCheck：チェック項目選択」の図、第１８頁の「e-PlanCheck：チェック結果表示例」の図、第２２頁の「BYGGSOKプロジェクトの建築法規チェック」のツリービュワーの図、第２５頁の「米国連邦調達庁GCAの空間チェック」の図）。
【先行技術文献】
【特許文献】
【００１３】
【特許文献１】特開２０１２−０３８０５５号公報（清水建設）
【特許文献２】特開２００９−０８６９５９号公報（日本デジタル研）
【非特許文献】
【００１４】
【非特許文献１】安達嘉信、シンガポール自動建築法規チェックシステム（e-PlanCheck）調査報告、［online］、2007年5月11日、一般社団法人IAI日本、＜URL: http://www.building-smart.jp/download/files/seminar2007_0511_2.pdf＞
【発明の開示】
【発明が解決しようとする課題】
【００１５】
建築物件の法規順守チェックを支援する技術にて、従来技術の欠陥を補完することを課題とした。
というのは：
参考１〜４に示された法規チェック手段は概念として提案されてはいるが、実体を伴わず、実現できる技術に至っていない。すなわち、法規チェックをいかなる構成でどういった機序で機能させるのかを示していない。
そして、参考６もまた、法規の文章を整理してデータベース化することのみに限られている。ともに規制順守のチェック作業の容易化ないしは自動チェック化をいかなる構成でどういった機序で実現させるのかについては全く示されていない。
また、参考７、８は、基準線の実長入力で全データの実長をシステム内に共有化して、長さや面積に限定される法規チェックする技術を記載しているが、長さや面積以外に関与する法規のチェックに適応できるものではない。
同様に、参考９、１０も、建築関係の申請書の自動作成システムを開示しているが、法規チェックと組み合わせた包括的なものを示していない。
一方、参考１１は、法規の集約ルールを決め、上位階層の状況に集約してチェックする仕組みを示しているが、これは製造者が製品に対してなす法規チェックであって、建築物件の階層構造に特化した条件にてチェックすることに援用できる技術とは言えない。
【００１６】
また、特許文献１、特許文献２、非特許文献１にも、後述する本発明の特徴（「甲・乙」）を示唆する記載はなく改善の余地があった。（本明細書段落番号［００８０］以降参照）
【００１７】
本発明の課題は、建築物件が法規により順守すべき事項を満たしているか、または、その法規の順守免除条件に適合しているか、をたやすくチェックできる支援システムの提供である。すなわち、法規の個々の規定について順守事項と免除条件を簡素化して表示し、チェック作業をだれでもできるように、かつ、チェック結果の正確性を保ちつつ作業効率を向上させることを課題とする。
【課題を解決するための手段】
【００１８】
本発明のシステムの構成要素は、「対象建築物件の情報入力手段」「法規のデータベース」「関連する法規を引用して表示する手段」である。データベースに記憶させたデータ形式と関連法規をどのように表示するかに特徴がある。これら特徴について説明する。
【００１９】
建築物件の仕様は、建築物の階層的部位にて表わされる。ここで、建築物の階層的部位とは、たとえば「建物」→「階」→「室」・・という階層にあるそれぞれの部位（建物・階・室・・）であり、それぞれ「棟１、棟２・・」、「階１、階２・・」、「室１、室２」と複数でもよく、階層状、ないしは、ツリー状に表わすことができる（図９(a)参照）。
【００２０】
物件ごとに階層的部位の個数と名称が決められる。たとえば、階層的部位の名称は、「Ａ棟、Ｂ棟・・」、「１Ｆ、２Ｆ・・」、「１１号室、１２号室・・」であって、個数は、棟数＝３、階数＝３、室数＝３などである（図９(b)参照）。本システムの利用者は、物件情報入力手段を通じてこれら個数と名称を、物件情報として入力する（図９(c)参照）。
【００２１】
一方、建築基準法などの建築法規は、ある条件下での順守事項を記述した「規定」の文の集合であって、個々の規定に対する適否は「真偽を問える」ので、法規は「命題」の集合と言える。
それらの命題は、論理積（「ＡＮＤ」または「∧」）、論理和（「ＯＲ」または「∨」）や、場合分け、数値上限、数値下限、数値範囲（それぞれ、「＜」「＞」または「≦」「≧」のひとつ、または、これらの組合せ）を含むものである。［簡単のため図面では論理積を「●」、論理和を「○」で示す。］
【００２２】
法規のチェックとは、すべての規定（規定「Ｘ」、規定「Ｙ」、規定「Ｚ」・・）の命題群が、論理積（「●」）としてクリアされることである（図１(a)参照）。
【００２３】
個々の規定は、「もし〜ならば」という「規制の条件」と、「〜でなければならない」という「順守すべき事項」のふたつの要素に分類できる。規定の文には「ただし〜は除外する」という記述もあるが、これも「規制の条件」である。
【００２４】
「規制の条件」と「順守すべき事項」は、当然ながらともに真偽を判定できるので命題である。
ここで、「もし〜ならば」という「順守の条件」を条件が免除される否定の条件と書き換え、かつ、「ただし〜は除外する」も免除される条件として加えれば、ひとつの規定の文は、「順守免除条件」の命題と、「順守事項」の命題に置き換え可能と考えられる。
【００２５】
すなわち、法規データベースとして、建築法規の文章を、建築物の階層的部位が順守すべき事項の命題とした順守事項命題（Ｎ命題）と、該順守事項命題が免除される階層的部位の条件を命題とした免除条件命題（Ｃ命題）に置換して、その命題群を記憶する。
【００２６】
法規チェックをこの置換した命題群を利用して行うのである。つまり、対象が免除条件命題（Ｃ命題）のいずれかにあてはまる、あるいは、対象が順守事項命題（Ｎ命題）にあてはまる、の命題のどれかの真を判定するために、それらを構成するいくつかの単純な命題の真偽をチェックする、という簡潔な作業の繰り返しとして容易化した。
これは、『命題Ａならば命題Ｃｘである（Ａ⇒Ｃｘ）』が、『命題Ａの否定と命題Ｃｘの論理和（¬Ａ ∨ Ｃｘ）』と同値である、という論理原則を利用している。
【００２７】
さらに、上記の「順守免除条件」の命題と「順守事項」の命題は、それらを分析すれば、より単純な、建築物の階層的部位に関する「要素命題」から成る論理式 （「要素命題」の論理積、論理和、さらにその結果の論理積や論理和など） として構成することもできる。
「要素命題」は、これ以上細かく分割できない命題であって、一般的な事実について簡素に記述したもので、建築法規に関する知識を用いなくても容易に真偽を判定しうるものである。
【００２８】
すなわち、法規データベースとして、建築法規の文章を、建築物の階層的部位が順守すべき事項の命題とした順守事項命題（Ｎ命題）と、該順守事項命題が免除される階層的部位の条件を命題とした免除条件命題（Ｃ命題）に置換して、さらに、順守事項命題（Ｎ命題）と免除条件命題（Ｃ命題）とを、それらを構成する要素命題および該要素命題を被演算子とする論理演算からなる命題データ群に置換して記憶する、としてもよい。
【００２９】
要素命題まで文章をブレークダウンすると、真偽判定がさらに容易にできるようになる。利用者が複雑な規定の文章を読み解くこともなく、単純な要素命題のチェックの繰り返しで複雑な規定のチェック作業が完遂できる。
【００３０】
利用者への命題表示は、順守事項命題（Ｎ命題）または免除条件命題（Ｃ命題）そのものを表示するとともに、それらを構成する要素命題にブレークダウンして展開させた表示をしたり、折りたたんで元に戻したりできるようにするのが好適である（図１６参照）。
折りたたみ表示と展開表示とを利用者の選択に応じて可逆的に表示することで、利用者が注目したい命題は内容を展開表示し、チェック完了したものは折りたたんでコンパクトにする、という利便性が得られる。
簡単のため以下の説明は、要素命題にブレークダウンする前の順守事項命題（Ｎ命題）、免除条件命題（Ｃ命題）で説明する。
【００３１】
たとえば（図１(b)(c)参照）、規定「Ｘ」が、「Ｃ１ではない」というひとつの免除条件命題（Ｃ命題）と、「Ｎである」という順守事項命題（Ｎ命題）からなるものなら、チェック作業は、「Ｃ１ではない」命題、あるいは、「Ｎである」命題、のいずれか（論理和「○」）が真であることをチェックすればよい。
【００３２】
複雑な規定例として（図１(d)参照）、規定「Ｙ」が、「Ｃ１、または、Ｃ２、または、Ｃ３ではない」という一つ以上の免除条件命題（Ｃ命題）と、「Ｎである」という順守事項命題（Ｎ命題）との組合せで、さらに、「Ｃ３ではない」が、「Ｃ３の１号、Ｃ３の２号、Ｃ３の３号、のいずれでもない」、そして、「Ｃ３の１号ではない」が、「Ｃ３１１からＣ３１６のいずれでもない」、および、「Ｃ３の３号ではない」が、「Ｃ３３１、または、Ｃ３３２ではない」という例でも、図１(d)のように表示されたチェックリストでチェックを行えばよい。［  図１(d)は「Ｃ３ではない」で「Ｙ」をクリアしている ］
【００３３】
ここで図１(d)は、図３に示す建築基準法24条の命題群を代数的に示したものである。図１(d)と対応して図３を見れば規定の文章と単純化命題によるチェック作業との関係を理解できるだろう。なお、図３は、『「木造建築物等」ではない」』という免除条件命題（Ｃ命題）が真であることで建築基準法24条のクリアをチェックしたことを例示している。
【００３４】
このように規定の文章に任意の論理積、論理和の複雑な組合せがあっても、その論理演算が法規データベースに記憶されていて、それを命題とともに引用し、論理を分解して表示するので、利用者は単純な要素命題を逐次チェックすればよいので、利用者のチェック作業が容易かつ効率的に行える。
【００３５】
規定の文章には、場合分け、および、階層的部位に関する空間的形状（長さや面積）に関する数量、収容人数、日照時間、仕上材の性能数値などと、それらの数値上限や数値下限や数値範囲を含んだものがあるが、これらも法規データベースに命題として記憶させることができる。
具体的に、場合分け、と数量の命題（数値命題）を含むものを図４に例示する。これは、建築基準法129条４のチェックのために作成したものである。（建築基準法129条４の本文は略す）
【００３６】
利用者が入力する建築物件の情報によって、法規データベースから、当該建築物件に関連する法規を、建築物件の階層的部位の命題を引用し、チェックボックス欄とともに建築物件の階層的部位の個数だけ表示する。かかる引用表示機能を担うものをチェックリスト表示手段と呼ぶことにする。
【００３７】
チェックリスト表示手段の表示が、建築物件の階層的部位の個数だけ繰り返し重複してなされることが重要である。この繰り返し表示を図１０に例示する。図１０は、利用者が入力手段で入力した建築物件の個数と名称を含む建築物件の情報（図９(c)参照）と対応している。
【００３８】
建築法規の文章にある順守条件が、異なった階層的部位の条件に跨がる論理演算である場合が多いので、それに応じた表示が必要となる。論理演算が、論理和（「ＯＲ」）であれば、論理和対象の命題ごとに個別に分離して表示すればよいが、論理積（「ＡＮＤ」であるときに、個々の論理積対象の命題の階層的部位の位置（距離）によって、チェックリストの表示パターンが異なるものになるので注意が必要である。
【００３９】
しかし、それらのパターンの違いは個々の論理積対象の命題の階層的部位の位置（距離）によって一義的に決まるので、その表示パターンをチェックリスト表示手段が記憶しておき、その記憶によって適宜表示パターンを呼び出して表示するか、「演算テーブル（後述）」を用いたソフトウェア（プログラム）で論理的に表示ロジックを記述して表示制御してもよい。
【００４０】
表示パターンは、『Ｐである建物の、Ｑである階の、Ｒである室はＺでなければならない』、『Ｐである建物の、Ｑである階の（すべての）室はＹでなければならない』、『Ｐである建物の（すべての）室はＸでなければならない』の３つの典型例に代表される。
【００４１】
典型例１（図１１参照）の、『Ｐである建物の、Ｑである階の、Ｒである室はＺでなければならない』にては、最上行が、「建物がＰでない」の免除条件命題（Ｃ命題）、次の行が、「階はＱでない」の免除条件命題（Ｃ命題）、その次の行から「室はＲでない」免除条件命題（Ｃ命題）と「室はＺである」順守事項命題（Ｎ命題）との組合せ表示行が階にある室の個数だけ繰り返される。
【００４２】
典型例２（図１２参照）の、『Ｐである建物の、Ｑである階の（すべての）室はＹでなければならない』にては、最上行が、「建物がＰでない」の免除条件命題（Ｃ命題）、次の行から、「階はＱでない」の免除条件命題（Ｃ命題）と「室はＹである」の順守事項命題（Ｎ命題）が階ごとに各階にある室の個数だけ繰り返される。
【００４３】
典型例３（図１３参照）の、『Ｐである建物の（すべての）室はＸでなければならない』にては、最上行に、「建物がＰでない」の免除条件命題（Ｃ命題）、次の行から、「室はＺである」の順守事項命題（Ｎ命題）の行だけが室の個数だけ繰り返される。
その他のものも、これら典型例の応用であるので図示例に準拠して適宜表示を行えばよい。
【００４４】
利用者は入力した建築物件について順次表示される順守事項命題（Ｎ命題）、免除条件命題（Ｃ命題）を、上から下に並ぶ項目ごとに、その右方に表示されたチェックボックス欄にチェックしていく作業を行う。その作業は単純化されたもので、かつまた、視線の動きに無理がなく人間工学的にミス発生を極力抑制することができる。
【００４５】
すなわち行列状のチェックシートが表示されるのがよい。その行列は、行方向には、一つ以上の免除条件命題（Ｃ命題）の一つ以上の行、その行の下方に順守事項命題（Ｎ命題）行が配置される。複数のＣ命題の行とその下方にＮ命題という組合せが、建築法規の規定ごと、建築物件の階層的部位とその個数だけ配置される。
【００４６】
行列の、列方向には、命題の論理演算を示すマークの列、その右方にＣ命題とＮ命題の表示列、その右方に命題の主語である「建物」「階」「室」という建築物の階層、または、「Ａ棟、Ｂ棟・・」、「１階(１F)、２階(２F)・・」、「１１号室、１２号室・・」といった物件の階層的部位の呼称の表示列、さらにその右方にチェックボックス欄の表示列を配置する、という配列が好ましい行列表示として例示できる。
【００４７】
図５(a)が、法規データベースの、建築基準法129条6に対応した命題群を示す。図中の１が免除条件命題（Ｃ命題）、図中の２が順守事項命題（Ｎ命題）、図中の３が建築物の階層的部位である。
【００４８】
そして図５(b)が、入力された「３階で３０１や２０１等の室名をもつ建築物件例（物件詳細略）」について、図５(a)の建築基準法１２９条６のデータにもとづいて表示した部分を例示したものである。図中の４が建築物件の階層的部位の名称、図中の５が命題のチェックボックス欄である。
【００４９】
図５(b)で、命題の論理演算を示すマークの列の論理積(●)は「∧」、論理和(○)は「∨」と表示している。これら記号(∧, ∨)の左方の一部にある、「＋」は、表示されている命題に関連する他の命題が隠されていることを示しており、「＋」をクリックすると、その関連する命題を表示し、最終的に要素命題にまでブレークダウンして展開された表示がなされる。
【００５０】
一方「−」表示があるものは、要素命題まで既に展開されていることを示していて、「−」をクリックすると、要素命題が折りたたまれ、上位の代表命題が「＋」とともに表示される。
ここで、『・・クリックすると・・』とは、利用者のクリックという選択操作である。
また、ここで、「代表命題」とは、複数の要素命題をまとめた任意の命題群（命題の組み合わせたセット）をいうものである。
なお、図５(ｂ)と図７の代表命題のチェックボックス欄には、すべてチェックマーク（ハネ印）が示されている。
これは、例示した代表命題が、下位の命題を含めて満たされている場合で、当然ながら、下位の命題が満たされていなければ、上位の代表命題のチェックマーク（ハネ印）は表示されない。
本発明では、要素命題とそれを被演算子とする論理演算を引用しているので、代表命題に含まれる要素命題の真偽と論理演算から該代表命題の真偽を演算し、それを該代表命題の真偽チェックマーク（ハネ印）の有無に反映させることは容易である。
【００５１】
このような機能があると、システム利用者が注目している命題だけを限られた表示スペースに表示できるので便利である。この機能は、Microsoft社のWindows（登録商標）におけるfile folder内のfile表示機能と同様であって、これに類する従来のsoftware技術の援用で容易に実現できる。
【００５２】
図１６、図１７に「＋」→「−」による要素命題への展開表示を模式的に示す。図１６は、Ｃ命題がその要素命題ｃ1、要素命題ｃ２・・へ、Ｎ命題がその要素命題ｎ1、要素命題ｎ２・・へ展開表示されることを示す。（「−」→「＋」で元に折りたたまれる）
図１７は、規定条文の上位の命題が、下位の命題群に展開表示され、さらに下位の命題群がそのＣ命題とＮ命題の要素命題である「要素命題ｃ1、要素命題ｎ1」、「要素命題ｃ２、要素命題ｎ２」・・へ展開表示されることを示す。（「−」→「＋」で元に折りたたまれる）
後者の具体例は、図５(b)の「Ｆ３階について」で、「火気使用室の壁天井が準不燃」という下位の命題が、「火気使用室でない」というＣ命題の要素命題と、「壁と天井準不燃」というＮ命題の要素命題に展開表示されている。その一方、図５(b)のその他の「＋」表示のある行では、これらの要素命題の表示が折りたたまれている。
【００５３】
以上のように本発明は（図８参照）、建築物件情報を入力する物件情報入力手段と、建築法規を命題群として記憶する法規データベースと、建築物件の法規順守チェックに必要なチェックリストを表示するチェックリスト表示手段を具備した、建築物件の法規順守チェックを支援するシステムであって、物件情報入力手段で入力される物件情報が、建築物件の階層構造に含まれる階層的部位と、該階層的部位の個数の情報を含み、法規データベースが、建築法規の文章を、建築物の階層的部位が順守すべき事項の命題とした順守事項命題（Ｎ命題）と、該順守事項命題が免除される階層的部位の条件を命題とした免除条件命題（Ｃ命題）に置換してなる命題群として記憶したものであり、チェックリスト表示手段が、前記物件情報入力手段で入力された物件情報にもとづいて、前記法規データベースから、建築物件の階層構造に含まれる階層的部位に対応した順守事項命題（Ｎ命題）と免除条件命題（Ｃ命題）を引用し、それぞれの命題の真をチェックするチェックボックス欄とともに、建築物件の階層構造に含まれる階層的部位の個数だけ表示する、システムである。
【００５４】
より好ましくは、法規データベースの命題群が、順守事項命題（Ｎ命題）と免除条件命題（Ｃ命題）を構成する要素命題と、該要素命題を被演算子とする論理演算とからなる命題データ群として記憶されたものであり、チェックリスト表示手段が、建築物件の階層構造に含まれる階層的部位に対応した順守事項命題（Ｎ命題）と免除条件命題（Ｃ命題）を構成する前記要素命題および該要素命題を被演算子とする論理演算を引用し、該要素命題の真をチェックするチェックボックス欄とともに、該要素命題を被演算子とする論理演算にもとづいて、建築物件の階層構造に含まれる階層的部位の数だけ表示する、のがよい。
【００５５】
順守事項命題（Ｎ命題）と免除条件命題（Ｃ命題）を構成する要素命題は、これ以上細かく分割できない命題で、「学校の用途に供しない」「階数が１である」といった一般的な事実について簡素に記述したものである。
それらの要素命題が同一であることを示すフラグなどの記憶ビットをデジタル的に記憶される要素命題の記憶領域に付随させることが望ましい。
【００５６】
利用者が同一要素命題のひとつをチェックした場合、他の同一要素命題も自動的にチェックマークが表示されると使い勝手がよいだろう。すなわち、図２(a)のように、規定「１」に「Ｃ１２ではない」があり、規定「２」にも同一の「Ｃ１２ではない」がある場合、一方に利用者がチェックすれば他方にもチェックマークが表示されるのが便利である。
【００５７】
同様に、図２(b)のように、規定「３」に「Ｃ３３１１ではない」があり、規定「４」にも同一の「Ｃ３３１１ではない」がある場合、一方がチェックされれば他方にもチェックマークが表示されるのが便利である。チェックリスト表示手段に、このような同一命題チェック手段を兼備していることが望ましい。
【００５８】
すなわち、要素命題の中に共通する同一の要素命題があり、チェックリスト表示手段が、共通の要素命題の一つとともに表示されたチェックボックス欄にチェックがなされると、他の同一の共通の要素命題とともに表示されたチェックボックス欄にもチェックマークを表示する、同一命題チェック手段を兼備しているのが望ましい。
【００５９】
また、要素命題に、階層的部位に関する空間的形状（長さや面積）に関する数量、その他数量（収容人数、日照時間、仕上材の性能数値）と、それらの数値上限や数値下限や数値範囲を含んだ数値命題があり、かつまた、物件情報に建築物件の階層的部位に関する数量の情報が含まれる場合がある。
そのときに、その数量が数値命題を満たしていることを数値の大小比較などの演算機能を用いて、利用者がチェックするまでもなく真であると判定してチェック欄に反映する数値判定と自動チェックを行う手段が兼備していることが望ましい。
【００６０】
すなわち、物件情報が、建築物件の階層的部位に関する数量の情報を含み、要素命題の中に建築物件の階層的部位に関する数量の数値上限または数値下限または数値範囲のいずれかを記述した数値命題があり、チェックリスト表示手段が、前記建築物件の階層的部位に関する数量について前記数値命題が真であることを判定する数値判定手段と、該数値判定手段で真と判定された数値命題とともに表示されたチェックボックス欄にチェックマークを表示する、数値判定チェック手段を兼備していることが望ましい。
【００６１】
本システムはコンピュータに実行させる。そのプログラムは、少なくとも、建築物件の階層構造に含まれる階層的部位と、該階層的部位の個数の情報を含む物件情報を入力する手順と、  建築法規の文章を、建築物の階層的部位が順守すべき事項の命題とした順守事項命題（Ｎ命題）と、該順守事項命題が免除される階層的部位の条件を命題とした免除条件命題（Ｃ命題）に置換してなる命題群として記憶した法規データベースから、物件情報にもとづいて、建築物件の階層構造に含まれる階層的部位に対応した順守事項命題（Ｎ命題）と免除条件命題（Ｃ命題）を引用する手順と、前記手順で引用した命題の真をチェックするチェックボックス欄とともに、建築物件の階層構造に含まれる階層的部位の個数だけ表示する手順を含むものである。
【００６２】
本システムは、参考６から１１に例示したような従来のシステム技術を援用することで、さらに使いやすい機能が付加された、より好適なマンマシンインターフェイスを構築できる。たとえば（図６参照）、チェック中の法規のウィンドウ（図６の「５０」）と同じ画面に、以下の別ウィンドウを同時表示すると便利である。
【００６３】
すなわち、チェックしているＣ命題やＮ命題に関連する法規全体をツリー構造で示したウィンドウ（図６の「５１」）、チェックしているＣ命題やＮ命題を含む法規全文を示すウィンドウ（図６の「５２」）、チェックしているＣ命題やＮ命題に関連する建築物件の平面図や立面図を示すウィンドウ（図６の「５３」、「５４」）を付加表示するなどである。
【００６４】
図７に、図６の表示画面の「５０」を拡大して示す。これは図３と同様、建築基準法２４条の表示であって、図５(b)同様、論理積(●)は「∧」、論理和(○)は「∨」と表示している。
【００６５】
図５(b)の説明で記載したように、図７の６行目「法24条1号に該当しない」の左方の「＋」をクリックすると（利用者が「法24条1号に該当しない」の要素命題を必要とする場合）、「学校の用途に供しない」「劇場、映画館又は演芸場の用途に供しない」「観覧場の用途に供しない」「公会堂・集会場の用途に供しない」「マーケットの用途に供しない」「公衆浴場の用途に供しない」という要素命題（図３参照）がチェック欄などとともに表示される（図示略）。
このクリック操作で利用者が「法24条1号に該当しない」ことを、要素命題にブレークダウンされた単純な事実の判断でチェックできるようになる。
【００６６】
もちろん、申請書類や評価書類の提出フォーマットのひな型をシステムに記憶しておき、建築物件データや設計図面データとともに、法規チェック結果データをひな型に転送して自動記入することで申請書類作成を支援する機能も容易に実現可能である。
【００６７】
「Ｃ命題とＮ命題を構成する要素命題と該要素命題を被演算子とする論理演算」に関して補足する。
法規データベースには、Ｃ命題とＮ命題をさらに単純化して置き換えた「要素命題」と、その「要素命題」間の論理関係を論理演算として記憶させるのが好ましい。「要素命題」は、論理的関係をツリー状に表現するなら、その末端で、これ以上細かく分割できない最小単位命題であって、原子命題と呼称されることもある。
【００６８】
法規データベースのＮ命題の「要素命題」データには、規定で順守すべき主体である「主語」の種類(建物または階または室など) と、規定が順守する事項である「述語」の情報をもたせるのが好ましい。
Ｃ命題の「要素命題」データにも、免除される条件の主体である「主語」の種類(建物または階または室など) と、条件である「述語」の情報をもたせるのが好ましい。
【００６９】
複数の「要素命題」の論理積（「ＡＮＤ」）あるいは論理和（「ＯＲ」）という論理演算の結果から「演算結果命題」が合成できる。たとえば（図１４参照）、「火気使用室ではない」「・・が準不燃である」は要素命題で、これらから、「火気使用室であれば・・は準不燃」という演算結果命題が合成できる。
同様に、「要素命題」と「演算結果命題」の演算、複数の「演算結果命題」同士の演算という多重演算で、より多くの条件や事項が複合された「演算結果命題」が合成できる。
【００７０】
「要素命題」間の論理演算は、「演算テーブル」で記憶させるとよい。「演算テーブル」は、「被演算子（オペランド）」「演算子（オペレータ）」「演算結果」を、それぞれの記憶格納場所を定義して記憶したものである。ここで被演算子は「要素命題」である。
【００７１】
「演算テーブル」は、２つの命題に論理積（「ＡＮＤ」）を行うもの、２つの命題に論理和（「ＯＲ」）を行うもの、３つ以上の命題に組合せ論理を行うものなどが「被演算子（オペランド）」を引用できるようにして記憶しておいて適宜引用して、前記の「演算結果命題」を合成させるのが好適である。
【００７２】
たとえば、図１５のような論理積（「ＡＮＤ」）を二度行う演算テーブルを法規データベースに記憶しておく。そして、この演算テーブルを同様に記憶させた「建物がＰである」「階がＱである」「室がＲである」の３つの要素命題と組合せて、『Ｐである建物の、Ｑである階の、室がＲである』の命題を合成できる。
このように論理を組合せた命題は、要素命題と演算テーブルという形で法規データベースに記憶することが記憶容量を節約する上で好適である。
【００７３】
「要素命題」は、事実を簡潔に記述した内容を文字列として法規データベースに記憶するが、当然のことながら、記述に含まれる文字列は共通的に定義した文字列を用いる。かかる共通化は、表示するときに利用者の誤解を回避する上でも有効であるし、前記の同一命題チェック手段、数値判定手段を機能させる上でも必要である。
【００７４】
「要素命題」の中で特に、主語が持つ数量の情報について記述したものを「数値命題」と呼ぶ。
「数値命題」の述語部は、主語のもつ数量の名称を、たとえば、「階の居室面積」、「階の廊下の幅」・・など法規データベース内で共通的に定義した名称文字列と、判定基準量と判定演算子、たとえば、数値上限または数値下限または数値範囲を示す「≧」、「＞」、「≦」、「＜」 などの文字と、主語が持つ数量の値である「１、２、３・・」という文字を組合せて、法規データベースに記憶しておけばよい。
【００７５】
すなわち「数値命題」には、階層的部位に関する空間的形状（長さや面積）に関する数量、収容人数、日照時間、仕上材の性能数値などとそれらの数値上限や数値下限や数値範囲を記憶される。
そして、「数値判定手段」は、物件情報にある建築物件の階層的部位に関する数量の情報を参照し、その情報に一致する数値命題の主語と述語による記述について、その真偽を判定するのである。
【００７６】
プログラムに関して補足する。
各命題の「主語」の種類(建物・階・室など)と、命題間の論理関係、および、物件情報にある階層的部位との一致（文字列の一致および論理関係の一致）を判定する手順、および、チェックリスト表示手段に、その判定手順で抽出された、物件情報の階層的部位との一致がある命題を引用して、それら命題を建築物件の階層構造に含まれる階層的部位の数だけ表示する手順をプログラムとして記述するのが好適である。
【００７７】
前述の『Ｐである建物の、Ｑである階の、Ｒである室は・・でなければならない』に例示される異なった階層的部位の条件に跨がる命題も、それを構成する各命題の「主語」の種類(建物・階・室など)を比較して、命題間の距離（「主語」の一致も含む）がわかる。その距離にもとづいて選択的に図１１−１３のような表示を実行させる手順をプログラムとして記述するのが好適である。
【００７８】
命題の文字列（論理関係も含む）が一致するものに同一であることを示すフラグなどの記憶ビットをそれら命題の記憶領域に付随させ、そのフラグを読み取って、同一の命題の一つとともに表示されたチェックボックス欄にチェックがなされると、他の同一の命題とともに表示されたチェックボックス欄にもチェックマークを表示する手順を、同一命題チェック手段の動作プログラムとして記述するのが好適である。
【００７９】
「数値命題」にある「主語」の種類(建物・階・室など)と、建築物件の階層構造に含まれる階層的部位との一致、かつ、物件情報にある階層的部位の空間的形状に関する数値の情報に含まれる数量の名称と、「数値命題」の述語部にある主語のもつ数量の名称との一致を判定する手順、および、物件情報にある階層的部位の数量について「数値命題」の述語部にある判定基準量と判定演算子に演算を実行させる手順、その演算結果をチェック表示に反映させる手順を、数値判定チェック手段の動作プログラムとして記述するのが好適である。
【００８０】
本発明は、従来技術にない以下の［甲・乙］の特徴を持つものである。
すなわち：
【００８１】
［甲］  利用者の選択に応じて以下の（１）を表示する折りたたみ表示と、（１）に加えて以下の（２）を追加した展開表示とを、可逆的に表示する特徴。
（１）  複数の要素命題をまとめた代表命題、およびその真をチェックするチェックボックス欄。
（２）  代表命題に含まれる複数の要素命題、およびその真をチェックするチェックボックス欄。
【００８２】
［乙］  展開表示で、代表命題に含まれる複数の要素命題が該代表命題の下に、論理演算マークとともに表示され、そのマークが、代表命題とそれに含まれる複数の要素命題との論理関係を示す特徴。
【００８３】
［甲・乙］を兼ね備えた構成は利便性が高い。利用者は、折りたたみ表示で対象命題群の全体のチェック状況を俯瞰的に把握し、必要な部分だけを展開表示して、簡潔単純な要素命題群にブレークダウンでき、かつ、それら簡潔単純な要素命題群の論理関係は、論理積(●)は「∧」、論理和(○)は「∨」などの視認できるマークとして眼から把握できるので、チェック作業が非常に楽である。
【００８４】
［甲・乙］を兼ね備えた構成は、特許文献１と非特許文献１を組み合わせても容易に得られるものではない。
【００８５】
というのは、特許文献１は、法規の文章の主語と述語の構造に注目し、法規の適用条件と適合条件を抽出する技術を開示しているが、これに非特許文献１の『法規を階層的に、かつ、折りたたみ・展開して表示する技術』等を組み合わせても、［甲・乙］のように、法規の文章の内容の論理関係まで必要に応じて（可逆的に）示すという構成に容易に到達できるものではない。
【００８６】
また、特許文献２の『既にチェックした項目をチェック済みと認識できるように表示する方法』も、［甲・乙］の構成を得る示唆を与えるものではない。
【００８７】
［乙］の特徴を（３）として、本発明のシステムは以下のように記述される。
すなわち；
【００８８】
建築物件情報を入力する物件情報入力手段と、建築法規を命題群として記憶する法規データベースと、建築物件の法規順守チェックに必要なチェックリストを表示するチェックリスト表示手段を具備した、建築物件の法規順守チェックを支援するシステムであって、
物件情報入力手段で入力される物件情報が、建築物件の階層構造に含まれる階層的部位と、該階層的部位の個数の情報を含み、
法規データベースが、建築法規の文章を、建築物の階層的部位が順守すべき事項の命題とした順守事項命題（Ｎ命題）と、該順守事項命題が免除される階層的部位の条件を命題とした免除条件命題（Ｃ命題）に置換して、さらに、該順守事項命題（Ｎ命題）と免除条件命題（Ｃ命題）を、それらを構成する要素命題と、該要素命題を被演算子とする論理演算として記憶したものであり、
チェックリスト表示手段が、前記物件情報入力手段で入力された物件情報にもとづいて、前記法規データベースから、建築物件の階層構造に含まれる階層的部位に対応した順守事項命題（Ｎ命題）と免除条件命題（Ｃ命題）を、それらを構成する要素命題と、該要素命題を被演算子とする論理演算として引用し、
利用者の選択に応じて以下の（１）の項目を表示する折りたたみ表示と、（１）に加えて以下の（２）の項目を追加して表示する展開表示とを可逆的に、かつ、建築物件の階層構造に含まれる階層的部位の個数だけ、以下の（３）のように表示するシステム。
（１）  順守事項命題（Ｎ命題）または免除条件命題（Ｃ命題）を構成する複数の要素命題をまとめた代表命題、および該代表命題の真をチェックするチェックボックス欄。
（２）  （１）の項目の代表命題に含まれる複数の要素命題、および該複数の要素命題の真をチェックする複数のチェックボックス欄。
（３）  該チェックリスト表示手段による表示が行列状で、展開表示では、折りたたみ表示の代表命題に含まれる複数の要素命題の表示行が該代表命題の表示行の下の行に表示され、かつ、展開表示された複数の要素命題の表示行に論理積または論理和を示す論理演算マークを表示して、代表命題と該代表命題の表示行の下の行に展開表示で表示される複数の要素命題との論理関係が、前記の論理演算マークによって示されている。
【００８９】
［乙］の特徴を（３）として、本発明のプログラムは以下のように記述される。
すなわち；
【００９０】
建築物件の法規順守チェックを支援するシステムを動作させるプログラムであって、
建築物件の階層構造に含まれる階層的部位と、該階層的部位の個数の情報を含む物件情報を入力する手順と、
建築法規の文章を、建築物の階層的部位が順守すべき事項の命題とした順守事項命題（Ｎ命題）と、該順守事項命題が免除される階層的部位の条件を命題とした免除条件命題（Ｃ命題）に置換して、さらに、該順守事項命題（Ｎ命題）と免除条件命題（Ｃ命題）を、それらを構成する要素命題と、該要素命題を被演算子とする論理演算として記憶した法規データベースから、前記物件情報にもとづいて、建築物件の階層構造に含まれる階層的部位に対応した順守事項命題（Ｎ命題）と免除条件命題（Ｃ命題）を、それらを構成する要素命題と、該要素命題を被演算子とする論理演算として引用する手順と、
引用した順守事項命題（Ｎ命題）と免除条件命題（Ｃ命題）を、利用者の選択に応じて以下の（１）の項目を表示する折りたたみ表示と、（１）に加えて以下の（２）の項目を追加して表示する展開表示とを可逆的に、かつ、建築物件の階層構造に含まれる階層的部位の個数だけ、以下の（３）のように表示する手順をコンピュータに実行させるプログラム。
（１）  順守事項命題（Ｎ命題）または免除条件命題（Ｃ命題）を構成する複数の要素命題をまとめた代表命題、および該代表命題の真をチェックするチェックボックス欄。
（２）  （１）の項目の代表命題に含まれる複数の要素命題、および該複数の要素命題の真をチェックする複数のチェックボックス欄。
（３）  該チェックリスト表示手段による表示が行列状で、展開表示では、折りたたみ表示の代表命題に含まれる複数の要素命題の表示行が該代表命題の表示行の下の行に表示され、かつ、展開表示された複数の要素命題の表示行に論理積または論理和を示す論理演算マークを表示して、代表命題と該代表命題の表示行の下の行に展開表示で表示される複数の要素命題との論理関係が、前記の論理演算マークによって示されている。
【００９１】
プログラムは、本発明のシステム機能を果たすものであればよく、上記の例示に限定されない。
【発明の効果】
【００９２】
建築物件の法規順守チェックする際に、複雑で多くの項目を折りたたんで全体状況を俯瞰的に表示する一方、必要な部分だけを展開して簡潔単純な文章群にブレークダウン、かつ、それら簡潔単純な文章群の論理関係をわかりやすく表示して、チェックを実施しやすくする。
【００９３】
法規の複雑な条件と順守事項を単純化してわかりやすく列挙表示するので、チェックミスの発生が人間工学的に抑制される。その結果、専門技能を要する規制の順守チェック作業が簡素、かつ、チェックミスがなく正確性が維持されるものになる。
【００９４】
また、複数利用者の重複チェック、チェック結果の点検、チェック結果の問題点レビューなどで、どの条文のどういった条件がクリアされていないのか、あるいは、どの順守事項が実施されていないのか、を個々の規定と対応付けて特定しやすい、という効果があり、有効である。
【００９５】
副次効果として、法規チェックにてチェック作業者の能力差等によるチェック結果のばらつきがあったものを、本システムを用いることで属人的な要素を減らすことができ、結果のばらつきがきわめて少なくなる。
【００９６】
利用者のシステム使用履歴を記憶する記録手段を兼備すれば、別の副次効果として、使用履歴から利用者ごとの作業の特徴がわかる。かかる特徴から、利用者のチェック能力評価や比較ができる。
【００９７】
法規の条文ごとに命題の記憶量や表示の行数を計数すれば、その数値で法規条文の複雑さを定量化することもできる。
【図面の簡単な説明】
【００９８】
【図１】本発明の表示概念とチェック作業を説明する模式図。
【図２】同一命題チェックを説明する模式図。
【図３】建築基準法24条の命題構成の説明図。
【図４】建築基準法129条4の命題構成の説明図。
【図５】建築基準法129条6の命題構成の説明図（a）と表示の具体例図（b）。
【図６】本発明のシステムの表示画面の具体例図。
【図７】図６の表示画面で建築基準法24条の表示部（５０）の拡大図。
【図８】システム構成の模式図。
【図９】物件情報の階層（a）と物件例（b）、物件例の物件情報の模式図（ｃ）。
【図１０】チェックリスト表示手段の表示を説明する模式図。
【図１１】異なる階層的部位の条件に跨がる命題の典型例１の表示模式図。
【図１２】異なる階層的部位の条件に跨がる命題の典型例２の表示模式図。
【図１３】異なる階層的部位の条件に跨がる命題の典型例３の表示模式図。
【図１４】法規データベース内の要素命題の説明図。
【図１５】演算テーブルの説明図。
【図１６】命題の展開表示と折りたたみの第一例図。
【図１７】命題の展開表示と折りたたみの第二例図。
【符号の説明】
【００９９】
１  免除条件命題（Ｃ命題）、または、一つ以上のＣ命題群の表示欄
２  順守事項命題（Ｎ命題）、または、Ｎ命題の表示欄
３  建築物件の階層的部位の表示欄
４  建築物件の階層的部位の呼称の表示欄
５  命題のチェックボックス欄
５０  建築基準法24条の表示部
５１  法規全体をツリー構造で示した表示部
５２  該当する法規全文を示す表示部
５３  建築物件の平面図を示す表示部
５４  建築物件の立面図を示す表示部
【要約】
【課題】  法規の順守条件や順守事項に関するチェック作業の正確性を保ちつつ作業効率を向上させること。チェック者ごとのチェック結果ばらつきを最小化すること。
【解決手段】  建築物件の情報を取り込む手段と、建築法規の文章を順守事項命題（Ｎ命題）、および、該順守事項命題が免除される免除条件命題（Ｃ命題）からなる命題群に単純化して記憶する法規データベースを有するシステムで、物件情報にもとづいて、法規データベースから、物件に対応したＮ命題とＣ命題を引用し、それぞれの命題の真をチェックするチェックボックス欄とともに、建築物件の階層構造に含まれる階層的部位の数だけ表示して、利用者が単純化命題を逐次チェックするようにした。
【選択図】  図８【図１】
0005948554.tif 000002
【図２】
0005948554.tif 000003
【図３】
0005948554.tif 000004
【図４】
0005948554.tif 000005
【図５】
0005948554.tif 000006
【図６】
0005948554.tif 000007
【図７】
0005948554.tif 000008
【図８】
0005948554.tif 000009
【図９】
0005948554.tif 000010
【図１０】
0005948554.tif 000011
【図１１】
0005948554.tif 000012
【図１２】
0005948554.tif 000013
【図１３】
0005948554.tif 000014
【図１４】
0005948554.tif 000015
【図１５】
0005948554.tif 000016
【図１６】
0005948554.tif 000017
【図１７】
0005948554.tif 000018