著者
松本 和彦 新舎 隆夫 小島 智
雑誌
全国大会講演論文集
巻号頁・発行日
vol.46, pp.133-134, 1993-03-01

多段論理生成は、多段化されたブール式を目標回路系の論理回路にマッピングする処理を伴う。マッピング手法はルールベース手法とトリーマッピングアルゴリズムに大きく分かれ、後者に属する代表的なものに、グラフカバリング法を用いるDAGONがある。本論文のPOLARISもトリーマッピングアルゴリズムの一種である。POLARISは先に、極性伝播法を用いるアルゴリズムとして提案したが、その後の評価結果より、極性伝播法だけでは最適なマッピングができないことが判明した。本論文では、従来アルゴリズムの問題点を解決する拡張アルゴリズムについて述べる。
著者
高田 篤 松本 和彦 毛利 透 西 平等 福島 涼史 近藤 圭介
出版者
大阪大学
雑誌
基盤研究(B)
巻号頁・発行日
2012-04-01

現在ドイツにおける「ケルゼン・ルネッサンス」の進展・成果の把握と、「ケルゼン」を通じたドイツ公法学の布置の把握を行った。前者について、1)方法論、2)民主制論、3)グローバル化・ヨーロッパ化をめぐってケルゼンが「有用」であるとして「再発見」されていることを確認し、その分析を論文、報告、報告書としてまとめた。後者については、ドイツ公法学転換をめぐる「戦線」が「連邦裁判所批判」をめぐって先鋭化しており、その構図、担い手が「ケルゼン・ルネッサンス」のそれらと重なることから、『越境する司法-ドイツ連邦憲法裁判所の光と影』の翻訳を完成させ、上記1)、2)、3)をめぐって、その意義を分析・解明した。
著者
三成 賢次 松川 正毅 高橋 明男 高田 篤 茶園 成樹 松本 和彦 中山 竜一 養老 真一 福井 康太 仁木 恒夫 水島 郁子 佐藤 岩夫 佐藤 岩夫
出版者
大阪大学
雑誌
基盤研究(A)
巻号頁・発行日
2005

本研究は、法曹の新職域として注目が集まっている弁護士業務の調査研究を行い、これに法領域横断的な理論的検討を加えることを通じて、近未来における法曹新職域のグランドデザインを提示することを目的とする研究プロジェクトであった。本研究では、諸外国の法曹とその養成課程に関する現状と課題を明らかにするとともに、主として最先端の企業法務を対象とする聞き取りおよびアンケート調査を実施し、法曹の職域の今後に関する模索的な研究を行った。本研究で特に力を入れたのは、全国2000社を対象とする「企業における弁護士ニーズに関する調査」、大阪弁護士会会員の約半数にあたる1500名を対象とする「弁護士業務に関するアンケート調査」、そして全国の企業内弁護士259人を対象とする「組織内弁護士の業務に関するアンケート調査」という3つのアンケート調査であった。それゆえ、本研究では、主として企業関連の弁護士の新しい職域の動向を明らかにすることとなった。