本日、朝日放送（大阪）で放送された「オーラの泉」の提供としてクレジットされていたのは、以下の通りです。 19:57〜20:40ごろ P&G 林原 Kowa 20:40ごろ〜20:54 NTT東日本・NTT西日本 小林製薬 KAGOME レキットベンキーザー・ジャパン フマキラー 他の系列…

昨年度は、M1の学生の数理論理学を学ぶゼミを手伝って、まあ、定番の教科書を選びました。Mathematical Logic (Undergraduate Texts in Mathematics)作者: H.-D. Ebbinghaus,J. Flum,Wolfgang Thomas出版社/メーカー: Springer発売日: 1996/12/01メディア: …

話題のHP 2133を職場で買おうと思ったら、販売終了だそうで。後継モデルを八月中に販売ということで、次の出張には間に合いませんな。

本日、朝日放送（大阪）で放送された「オーラの泉」の提供としてクレジットされていたのは、以下の通りです。 19:57〜20:40ごろ 養命酒 レキットベンキーザー・ジャパン フマキラー SoftBank 小林製薬 20:40ごろ〜20:54 P&G Kowa ニトリ KINCHO せんねん灸 …

本日、朝日放送（大阪）で放送された「オーラの泉」の提供としてクレジットされていたのは、以下の通りです。 19:57〜20:38ごろ P&G 三洋電機 Kowa AiiA Corporation 20:38ごろ〜20:54 東京海上日動あんしん生命 小林製薬 やずや フマキラー CALPIS せんねん…

本日、朝日放送（大阪）で放送された「オーラの泉」の提供としてクレジットされていたのは、以下の通りです。 19:57〜20:31ごろ レキットベンキーザー・ジャパン フマキラー CALPIS 三洋電機 小林製薬 20:31ごろ〜20:54 P&G Meiji (株)ダイアナ SUBARU ORIHI…

本日、朝日放送（大阪）で放送された「オーラの泉」の提供としてクレジットされていたのは、以下の通りです。 19:00〜19:40ごろ （提供のクレジットなし） 19:40ごろ〜20:15ごろ Dr.Recella SUBARU アダプトゲン製薬 林原 三洋電機 20:15ごろ〜20:36ごろ フ…

本日、朝日放送（大阪）で放送された「オーラの泉」の提供としてクレジットされていたのは、以下の通りです。 19:57〜20:39ごろ P&G KINCHO 20:39ごろ〜20:54 SUBARU ORIHIRO フマキラー フィニッシュ NTTコミュニケーションズ 小林製薬 他の系列局では異な…

昨年、CCA 2007への参加を断念したのにひきつづき、今年もCCA 2008への参加を断念しました。来年こそは参加します！

本日、朝日放送（大阪）で放送された「オーラの泉」の提供としてクレジットされていたのは、以下の通りです。 19:57〜20:41ごろ P&G ORIHIRO KINCHO 20:41ごろ〜20:54 フィニッシュ フマキラー SoftBank SUBARU Disney mobile 小林製薬 他の系列局では異なる…

本日、朝日放送（大阪）で放送された「オーラの泉」の提供としてクレジットされていたのは、以下の通りです。 19:57〜20:37ごろ フィニッシュ フマキラー AiiA Corporation 小林製薬 20:37ごろ〜20:54 P&G KINCHO せんねん灸 SUBARU 他の系列局では異なるか…

本日、朝日放送（大阪）で放送された「オーラの泉」の提供としてクレジットされていたのは、以下の通りです。 19:57〜20:34ごろ P&G KINCHO ロート製薬 20:34ごろ〜20:54 コスモ石油 フィニッシュ 小林製薬 SUBARU BLUE MAN GROUP フマキラー 他の系列局では…

本日、朝日放送（大阪）で放送された「オーラの泉」の提供としてクレジットされていたのは、以下の通りです。 19:00〜19:44ごろ （提供のクレジットなし） 19:44ごろ〜20:03ごろ 林原 Dr.Recella アダプトゲン製薬 20:21ごろ〜20:36ごろ フマキラー CALPIS …

本日、朝日放送（大阪）で放送された「オーラの泉」の提供としてクレジットされていたのは、以下の通りです。 19:57〜20:27ごろ フィニッシュ やずや 黄桜 フマキラー 20:27ごろ〜20:54 P&G 銀幕版スシ王子！ SoftBank KINCHO 他の系列局では異なるかもしれ…

「数理論理学の三つの基本的な定理（完全性定理・不完全性定理・カット除去定理）が一冊にまとまった本があると便利なんだけどなあ」といつもつぶやいていたんだけど、該当する本がみつかったかもしれません。スマリヤンの古い教科書が13年も前にDover落ちし…

『数理論理学』（林晋 著、コロナ社）数理論理学 (コンピュータ数学シリーズ)作者: 林晋出版社/メーカー: コロナ社発売日: 1989/12/20メディア: 単行本購入: 1人 クリック: 4回この商品を含むブログ (3件) を見る『数理論理学』（古川康一・向井国昭 著、コ…

kikulogへの投稿のネタバラシをこちらでやっておきます。 ああを・に、やっぱりを―に置き換えて、和文モールス信号として読んでください。

本日、朝日放送（大阪）で放送された「オーラの泉」の提供としてクレジットされていたのは、以下の通りです。 19:00〜19:44ごろ （提供のクレジットなし） 19:44ごろ〜20:03ごろ アダプトゲン製薬 Dr.Recella 林原 POLA 20:21ごろ〜20:36ごろ フィニッシュ P…

フジテレビが頼まれてもいない霊視とやらを勝手に行って、美容院経営者に精神的苦痛を与え営業を妨害した事件について、同局が報告書を公表したとの報道がありました。ところが、同局のWWWページの What's new に記載がなく、探し出すのに苦労しました。ずい…

P=NP問題のNPをNon-Polynomialだと誤認している人って、かなりいますね。また、みつけてしまいました。この手のよくある誤解が広まらないようにするには、どうするのが良いのでしょう。正しくは Nondeterministic Polynomial だよと何かあるたびに言うのは当…

『問題は、躁なんです 正常と異常のあいだ (光文社新書)』の老年期の突風(43〜47ページ)に載っていた老年期に躁状態になる例を読んで、珠洲市在住のあの方を連想しました。

昨日のおおさか東線の開業で、大阪近郊区間120円で最長大回りルート*1が長くなりましたので、再計算しました。新経路 天満 ↓ 大阪環状線 京橋 ↓ 東西線 尼崎 ↓ 東海道本線 山科 ↓ 湖西線 近江塩津 ↓ 北陸本線 米原 ↓ 東海道本線 草津 ↓ 草津線 柘植 ↓ 関西本…

項目「ゲーデルの不完全性定理」が、どんどんと意味不明になっていっている。

本日、朝日放送（大阪）で放送された「オーラの泉」の提供としてクレジットされていたのは、以下の通りです。 19:57〜20:37ごろ SANKYO カーコンビニ倶楽部 フィニッシュ 三洋電機 大洋薬品 20:37ごろ〜20:54 P&G SUBARU エバーライフ マンナンライフ 他の系…

本日、朝日放送（大阪）で放送された「オーラの泉」の提供としてクレジットされていたのは、以下の通りです。 19:57〜20:37ごろ P&G カーコンビニ倶楽部 三洋電機 20:37ごろ〜20:54 エバーライフ 大洋薬品 フィニッシュ マンナンライフ SoftBank SUBARU SANK…

たまたま、ディスカバリーチャンネルをつけたら、「メビウスの帯はメビウスが発見した」と言っていた。発見者はリスティングなのに。2008-03-01 追記 再放送を録画して確認したところ、原音声では、"It's named after the 19th century mathematician August…

数日前のこと。勤め先の生協書籍部が「自然を楽しむ」フェアとかをささやかにやっていて、何冊かの本を並べてた。その中に、あろうことか、江本勝の水伝の本がまざっていた。これはまずいよと係の人に伝えておいたけど、こんなところにもさりげなくまざって…

本日、朝日放送（大阪）で放送された「オーラの泉」の提供としてクレジットされていたのは、以下の通りです。 19:57〜20:30ごろ フィニッシュ 大洋薬品 エバーライフ 20:30ごろ〜20:54 P&G カーコンビニ倶楽部 マザーズオークション SANKYO アメリカンホーム…

本日、朝日放送（大阪）で放送された「オーラの泉」の提供としてクレジットされていたのは、以下の通りです。 19:57〜20:32ごろ P&G エバーライフ カーコンビニ倶楽部 20:32ごろ〜20:54 マザーズオークション アメリカンホーム・ダイレクト 大洋薬品 SUBARU …

本日、朝日放送（大阪）で放送された「オーラの泉」の提供としてクレジットされていたのは、以下の通りです。 19:57〜20:32ごろ カーコンビニ倶楽部 大洋薬品 エバーライフ コスモ石油 フィニッシュ 20:32ごろ〜20:54 P&G マザーズオークション SUBARU アメ…