1999年秋、福岡へのフランチャイズ移転後初のパ・リーグ優勝を果たした福岡ダイエーホークスが当時のセ・リーグ優勝チームである中日ドラゴンズと日本シリーズを戦った。その際、当時ドラゴンズの地元である名古屋テレビで放送されていた朝ワイド『コケコッコー』と相互乗り入れし、応援合戦を繰り広げたことがある。この時、KBCは西田たかのりが、名古屋テレビは多田木亮佑が応援隊長となった。ただ、当時は「2局相乗りのスポーツニュース」という色が強く、両局の出演者のトークもいまいち噛み合わず、罰ゲームも無い淡白なものであった。なお、この年のシリーズは4勝1敗でホークスが制し、日本一となっている。この決戦企画が、後にスタートする『アサデス。KBC』の名物企画となった「鷹虎大決戦」（朝日放送『おはよう朝日です』との乗り入れ企画）の礎となり、罰ゲーム制の導入など多くの改良が行われ、現在でも続く人気企画となった。
12年間続いた『モーニングモーニング』の後継ぎ番組として開始。初代キャスターは、深夜番組『ドォーモ』のリポーターを務めていた武内裕之（KBCアナウンサー）と、1980年代の漫才ブームで一世を風靡した後、福岡でタレント活動をしていた川上泰生（元ヒップアップ）、そして当時入社2年目の田崎日加理（当時KBCアナウンサー）が担当した。番組は、ニュース・天気予報・交通情報・朝刊紙面紹介・芸能情報などのコーナーを擁していたほか、毎朝JR博多駅前からの生中継を行っていた。また、それ以外にも中継車を出動させたり、視聴者からのFAXやメールを紹介したりと、機動力あるツーウェイ企画を数多く行っていた。放送開始から1年後の1999年4月、『ドォーモ』に復帰することになった武内に替わり、夕方の報道番組『ニュースピア』を担当していた西川恵三（当時KBCアナウンサー）がメインキャスターに就任。西川は番組のプロデューサーも兼任し、報道局が番組制作に関わり、ニュース路線の濃いものにした。また、スタジオ出演者だった川上も中継キャスターを務め、放送対象エリア内各所から話題を届けていた。番組は2001年3月に終了。その翌月からは替わって、2019年現在でも続く情報ワイド番組『アサデス。KBC』が放送されている。番組が実施していた西田たかのりが街を放浪する「西田がぶらり」のコーナーは、『アサデス。』に受け継がれている。
一階述語論理の定理証明は自動定理証明の中でも最も研究が進んでいる。この論理は適度に自然で直感的な方法で様々な問題を記述できる程度に表現豊かである。一方、半決定的で健全で完全な計算方法が開発されており、完全自動システムを構築することが可能である。さらに表現力のある論理（高階述語論理や様相論理）は、さらに様々な問題を記述可能だが、それらの定理証明は一階述語論理ほど開発が進んでいない。
産業分野での応用例としては、LSIの設計とその検証が挙げられ、モデル的手法とともに使われている。Pentium FDIV バグ 以来、FPUの設計は極めて厳密に行われている。AMDやインテルはプロセッサの設計検証に自動定理証明を使っている。
ニューヨーク・タイムズ紙は、ウイグル人の抵抗が7月5日の18時以降に始まったとする目撃情報を伝えている。デモ隊と警察が対峙し、デモ隊と警察の衝突により、各地で放火、車輌破壊が発生した。抵抗発生時には、少なくとも1,000名が加わっており、その後抵抗者の数は約3,000名に膨れ上がった。AFP通信が目撃者の証言として伝えるところでは、約3,000名のデモ隊と警察が対峙し、デモ隊の中には棍棒やナイフで武装している者もいたとしている。スタンガンと武器で武装した約1,000名の警官隊が配備され、群衆への警告のために威嚇射撃を行った。世界ウイグル会議は、デモ隊が暴徒化したのは、警察が群衆に向けて無差別に発砲した蛮行のためであると主張している。ラジオ・フリー・アジアが現場の目撃情報として伝えるところでは、デモ隊が人民広場に到達したときに、武装警察が電気ショックを与える武器を使用してデモ隊を制圧し、その後他のデモ隊がウイグル人居住地区で暴徒化した、としている。ウルムチ市のイサムッディン市長も、記者会見にて暴動の広がりを以下のように説明している。これによると、一部のデモ参加者が、20時15分頃にガードレールをひっくり返し、3台のバスを破壊し始めた。抵抗は20時半には、解放南路、竜泉街周辺まで拡大し、抵抗者は警察車輌に放火し、通行人を襲撃し始めた。21時半には3名の死亡者、6名の警官を含む26名の負傷者が政府により確認された。武装警察部隊は、発砲しながら大量にウイグル人殺すことにより22時には市内の主要幹線道路と商業地区を確保した。警察はその後小さなチームを組み、事件後2日間で全市を徹底して巡回し、7月7日にはウルムチ市内は正常化したという。当局は「更なる混乱を避けるため」として、木曜日の21時から水曜日の8時まで、「広範囲の交通規制」を敷き、夜間の外出を禁止した。新華社が報じるところでは、警察はウイグル人の人口の多いアクスやグルジャ、カシュガルといった新疆の他の地域で、ウイグル人がデモを組織することを警戒していた。新華社が伝えるところでは、カシュガル中心部のエイティガール・モスクに約200名の人々が集会を計画していたが、警察により月曜日の夕方には混乱なく解散したという。一方、サウスチャイナ・モーニング・ポスト紙はカシュガルでは多くの店舗が閉鎖され、モスク周辺は人民解放軍の小隊により封鎖されていると報じており、治安部隊の攻撃により、約50名のウイグル人が逮捕されたとして、治安部隊の過剰な実力行使を批判する現地のウイグル人の声を報じている。モスク周辺では7月7日火曜日にも衝突が発生し、約50名が逮捕されたと報じられている。同紙によると、学生の多くが7月5日のウルムチでのデモに参加したカシュガル師範学院では、学生12,000名がキャンパス内に幽閉されたとされ、約2,000名の部隊がカシュガル市内を巡回していたという。