美しい音楽に合わせた流れるようなステージングと、パワフルでハイテンポなマジックを演ずる一方で、コミカルなトークマジック、クロースアップ・マジック、似顔絵マジック等の新作マジックも開発。イラストレーターとしても活動しているが、締め切りに追われることが多いともいわれる。磐(いわ、いわお、ばん)池辺愛久保いろは水道記念館(大阪市)水道記念館(すいどうきねんかん)は、大阪市水道局が大阪市東淀川区に設置した、大阪市の水道の歴史について楽しみながら学ぶことができる科学館。また、過去には琵琶湖・淀川水系の淡水魚、貝類などを多く飼育していた。記念館の水族館.水族館の歴史.クレイグ・マクリーン秋山支隊秋山支隊(あきやましたい)とは、日露戦争時に編成された秋山好古陸軍少将を指揮官とする日本陸軍の支隊。概要.奉天会戦では第三軍先鋒として参加するなど、重要な役割を担った。永沼挺進隊.二階述語論理二階論理の表現能力.文法.これらの変項の種について、全称記号や存在記号を使った論理式を構築可能である。二階述語論理の「文(sentence)」は、いかなる種の自由変項も持たない論理式をいう。一階述語論理と同様、二階述語論理でも非論理記号を含むことがある。ただし、論理式を構成する全ての項は一階の項(一階の変項で置換可能)か二階の項(適切な種の二階の変項で置換可能)でなければならない。意味論.推論体系.最も弱い推論体系は、一階述語論理の標準の推論体系(例えば自然演繹)に二階の項の置換規則を加えたものである。この推論体系は二階算術の研究で主に使われている。二階論理とメタ論理学の成果.歴史と論争.計算複雑性理論への応用.有限な構造についての二階述語論理の各種形式の表現能力は、計算複雑性理論と密接に関係している。記述計算量の研究では、複雑性クラスを説明するのにそれに属する言語を表現できる論理体系の能力で表す。そのため、二階述語論理を前提として次のような複雑性クラスを説明できる。クラス間の関係は論理の表現能力にも直接影響を及ぼす。例えば、PH=PSPACEであることが明らかになれば、推移閉包演算子を追加しても二階述語論理の表現能力には何の違いもないことが明らかになるだろう。戦略的互恵関係概要.