岡田 誠一（おかだ せいいち、1964年11月 - 2013年8月28日）は、日本の鉄道研究家、鉄道写真家である。元横浜市交通局勤務。鉄道友の会元会員。
2009年に正式メジャーデビューを果たした、ラップデュオ。2011年に発表したシングル「Party Rock Anthem」が全米最高1位を記録し、100万ダウンロードを突破する大ヒット曲となる。また、同曲は世界7カ国以上のシングルチャートにて最高1位を記録した。2012年9月、「今が別々の道を選ぶべきタイミングである」とし、無期限活動休止を宣言（ただし解散は否定している）。レッドフー、スカイブルー共に2013年にソロ・アルバムをリリースしている。
前方ショット、左右に広がるワイドショット、円形のシールド（敵弾を防ぐ、敵にダメージを与える）であるフォースフィールドの三種類を駆使し、タイムアタック形式となっている各面を攻略する。ゲームをプレイした時間によりOPTIONの項目が充実し、攻略がやりやすくなるようになっている。
ワンダースワンのプログラム開発ソフトワンダーウィッチのソフトウェアコンテスト「WWGP2001」でグランプリを受賞。ワンダースワンカラーおよびスワンクリスタル専用で、縦向きに持ってプレイするスタイルとなっており、アーケードゲームの縦スクロールSTGのような感覚を味わえる。携帯ゲーム機の作品でありながら、シンプルなゲームシステムと各ステージでの充実した内容であった。その後、『JUDGEMENT SILVERSWORD -Rebirth Edition-（ジャッジメント・シルバーソード リバースエディション）』と改題し、内容を強化してキュートから製品化された。製品版は出荷数が少なく、プレミアが付いた。その後、発売元を変え、不定期に再発売された。また、本作品のリソースを再利用したミニゲームSTG『CARDINAL SINS（カーディナル・シンズ）』も作られた。なお、WWWGP2001投稿版、及び『CARDINAL SINS』はワンダーウィッチ上で実行できるリソースファイルとして配布されている。デフォルトで設定されているスコアネームは、これまでにM-KAIが作成したゲームの名前に由来している。
タイトルのあまつみそらに（天つ美空に）は「天の美空に」の意味がある。2009年6月末に雑誌上で初公開され、7月7日に公式ウェブサイトが設置された。クロシェットの第1作『かみぱに!』と同じく、原画・キャラクターデザインをしんたろーが担当しており、物語の内容も『かみぱに!』と同様、田舎を舞台とした学園恋愛物で、ヒロインの1人が神様という設定であり、季節背景は夏。主要なヒロインの数は全部で5人である。他にも多数の妖怪や怪奇現象が登場し、妖怪・怪異現象に疎い人のために簡易的な説明がゲーム中で語られる。当初は2010年4月30日発売と予告されていたが、1ヶ月の延期となった。ゲーム発売に先行して2010年3月31日にキャラクターソングCD2種がリリースされた。プロトタイプより2012年2月16日にPlayStation Portable版『あまつみそらに! 雲のはたてに』が、2015年9月17日にPlayStation Vita版が発売された。はたて（果たて）は「果て」の意味である。
タブローの方法は命題論理や一引数の一階述語論理において決定可能である。つまり有限ステップで必ず判定を行える。しかし、多引数の一階述語論理において決定不可能である。つまり有限ステップで判定できない可能性がある。
タブローの方法(英 tableau method)とは、真理の木(truth tree)あるいは意味論的タブロー(semantic tableau)または分析タブロー(analytic tableau)と呼ばれるものを用いて、論証の妥当性や、論理式が矛盾しているかやトートロジーであるかを機械的に調べる判定手続き(decision procedure)の一種である。ヤーッコ・ヒンティッカらのモデル集合という考え方を応用して作られ、レイモンド・スマリヤンによって広められた。
中世頃の商業では、京都などの都市圏や神社仏閣の寺町などでは店舗を持つ商店もあったが、どちらかと言うと少数であるそういった地域を除くと、行商人による露天形式の市の方が主流であった。それが徐々に特定の地域に定期的な市場が立つようになり、それに伴い商人も移動、巡回して市場に参加するようになる。このような行商人の存在は、鎌倉時代から発生はしていたが、貨幣経済の発展や、街道交通網の整備が進み、それによって地方で材料などを購入し、大都市で生産品を作る職人にその材料を売り、その生産品を地方に持って行って販売することで利益を上げる形での商業が成立するようになった、室町時代以降に多くなっていく。そのようにして地域ごとの市場と都市を移動する行商人だが、単独で移動すると移動中の安全の確保が困難でもあった。そのため、集団で移動するようになると共に、道中の安全を確保するための護衛を連れるようになるため、その結果が行商人集団である連雀商人の発生である。横川景三著の『小補東遊集』と言う文献には京都付近でのこととして「運搬人100人以上、護衛60人以上、無数の馬」と記されており、大規模な商隊を形成した例もあったことが伺える。戦国時代中期以降には戦国大名が城下町を形勢するようになると、その周辺も含め定期的な市の開催が多くなり、連雀商人が集まる時間と場所が多くなる。このため、古い城下町の地名には連雀町・連雀小路といった、その名残を残すような場所も多い。これらの地域では領主から任命された商人頭が役銭徴収などを執り行っていた。このような連雀商人は近世に入り、ある程度治安も安定して商品流通が発達、都市が中心であった店舗を持つことのできる商人が地方にも普及するようになるにつれ、徐々に衰退し消滅していく。江戸時代中期にも行商人は存在しているが、連雀商人と言う言葉は地名などに残るのみとなった。