パスワードを忘れた? アカウント作成
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
2014年10月6日の日記一覧(全31件)
11632358 journal
数学

fiercewindsの日記: L≠Pの証明(?) 2

日記 by fiercewinds

先日はコメントありがとうございました。

頂いた指摘事項を元にアップデートしました。
証明戦略も大幅に変更しましたので書きなおしています。
#無限の選択を実現するために、万能チューリングマシンを使用した対角線論法にしています。

自分では間違いを見つけられませんでしたが、大きなギャップの見落としはあるかもしれません。
ご指摘・コメントいただければと思います。

_____________________________________________________________
○証明概要
対角線論法を用いた方法(階層定理の証明の変形)によりL≠Pを証明し、その結果からP≠NPを証明しています。

○L≠Pの証明

・補題1
∀r∈L(¬r∈L)
∀r∈P(¬r∈P)

11632471 journal
書籍

shibuyaの日記: 読了ライトノベル記録

日記 by shibuya

『六畳間の侵略者!? 17』(HJ文庫新刊) 国立国会図書館未収蔵か。検索ヒット0件
// 本音は7.5のドラマCD付きバージョンが欲しかった。

11632693 journal
日記

r5の日記: 錦織優勝! 3

日記 by r5

全米準優勝、クアラルンプール優勝に続いて東京でも優勝。
スポンサーやファン、関係者の強烈なプレッシャー、連戦の疲労、
勝利を決めた瞬間に万感の思いがこみ上げたに違いありません。
応援していたこちらまでうるうるしてしまいました。

まだ確定ではありませんが、他の選手の状況を考えるとファイナルはほぼ決まりでしょう。

これで明日(というか今日)上海に飛んで、休む間もなくマスターズです。
1回戦はbyeなので、火曜か水曜が初戦でしょうか。
正直、棄権しても責められない状況ですが、2つ勝ってディミトロフにトドメを刺しておきたい。
180ポイント足せたなら、バレンシアはスキップでも良いはずです。
(全米後義務のATP500は東京でクリアしてますし)

上海の後は1週休んでバレンシア→パリ→ロンドンのファイナルと続きます。
ヨーロッパの大会は時差のせいで、家に帰ってからネット中継をじっくり見れてしまいますので、
眠れない日々は終わらなさそうです。

あー、WOWOWでファイナルやらないですかね。

11632734 journal
日記

float32の日記:

日記 by float32

                        …………。
                                   
                                  <⌒/ヽ-、___  
                                /<_/____/
           

11633143 journal
日記

shado2001の日記: あさがお日記

日記 by shado2001

0530 起床 雨 風がある。17℃ 
あさがおは確認していない。

昨昼 マカロニ250g クリームスープ ベーコン入り
昨晩 チキンコンソメスープ 釜飯 鶏卵
朝   鶏卵 納豆 ネギ

さて、事務所にどうやっていこうか

11633353 journal
日記

harutin_99の日記: いやいやほんと○○県は災害が少ないなあ 8

日記 by harutin_99

岡山です。
台風地震原発事故津波土石流に噴火とか起きるたびに、タイトルのようなことをいつも思うんだけど、同じこと思ってる他の県の人っている?

11633461 journal
日記

jizouの日記: 小さいアンプが欲しい 13

日記 by jizou

世間ではヘッドフォンアンプばかりが商品化されているのだけれど、
ごてごてしたAVアンプじゃなくて、Walkmanで再生して、
ふつうにスピーカーで聴けるアンプが欲しいなぁ。

音の悪い Bluetooth のインターフェースとか無くてもいい。
USBや、CDも再生できなくていい。
ふつうに30kHzぐらいまで増幅できて、アンプだけお金をかけたものはないものか。
今のところ、フォステクスの安いアンプぐらいなんだよなぁ。

外観にお金をかけたヘッドフォンアンプなんて、いくら出してもいらないから。

11633472 journal
日記

ma_kon2の日記: 始まりと終わり

日記 by ma_kon2

Gレコ。
隠そうとしないキングゲイナー臭。
作られつつある黒歴史。カプールもいるよ。

ワールドエンブリオ。
ようやく終劇。最後まで面白かったけど、
最後の一コマが前作と同じ構図なのは意図的か。

以上、ネタバレしない感想でした。

11633592 journal
日記

masakunの日記: 台風直撃

日記 by masakun

思ったより暴風って感じはないけど、雨がとにかく激しい(1時間雨量50mm以上なんてざら)。そのためあちこちで冠水して通行止めという情報があり、沿線が冠水したのでどうかと思っていたら伊豆箱根鉄道もついに止まった

11633595 journal
日記

uhyorinの日記: 台風18号 2

日記 by uhyorin

朝のニュースで、台風18号が名古屋方面に接近していて、中心気圧が950hpaって数値を見たとき。
どこの東南アジアなんですか…と思った。
ここ数年、水害のオンパレードって感じですねえ。

11633789 journal
インターネット

iidaの日記: インターネットに「.osaka」がやってきた

日記 by iida

先月は、.osaka含め、26のトップ・レベル・ドメーンが増えたようだ。

  • bank
  • canon
  • corsica
  • csc
  • delivery
  • doha
  • energy
  • jprs
  • kddi
  • lidl
  • ltd
  • nowruz
  • obi
  • osaka
  • pars
  • party
  • reit
  • schwarz
  • science
  • shia
  • sydney
  • tci
  • virgin
  • vista
  • vistaprint
  • xn--mgbt3dhd

canonは、「Canon Inc.」が取得したようだが、日本のキヤノンなのかな? あと日本に関係ありそうなのは、JPRSとKDDIか。

11633847 journal
日記

jerry_fishの日記: 避難勧告

日記 by jerry_fish

市の防災メール見たら、市内で避難勧告出てた。
ネットで警報などチェックしたら実家の辺り一帯も避難勧告出てた。
実家は基礎がイマイチだし土砂災害の可能性のある場所なんで念のため電話したら、
父がのんぽりとした感じで電話出た。
根拠なく「大丈夫」って、なんかもー逃げ遅れて死ぬタイプだなあと……orz

今は晴れ間広がって風も止んでるので、いい感じの洗濯日和って感じ。

11633997 journal
日記

dummykの日記: 天気予報にて 3

日記 by dummyk

台風直撃で、電車が乱れることに対して
「いつもより早く出勤されることをお勧めします」みたいな事を言っておられましたが
まず「どんな天気でも出勤することが前提」なのね。と思った。

「休め」とまでは言わないけど「ご注意ください」くらいに留めて置いたほうが良かったのでは?
『気象庁 無理な外出控えて』
http://www3.nhk.or.jp/news/html/20141005/k10015141621000.html

あと、出勤前のサラリーマンのインタビューで「普段より3時間早く家を出ました(朝7時台のニュース)」というのも
「え。朝4時台に家を出たの?」とか思ったり。

もー、皆さん鑑だね(何の、とは言わない)

11634101 journal
日記

masakunの日記: Firefox OS 搭載スマホ、12月に KDDI から 2

日記 by masakun

http://m.japan.cnet.com/story/35054710/

Mozilla Open Web Day in Tokyo にビデオ出演した KDDI 田中社長がアナウンス。「差別化要素でギーク層をガーンと狙いたい」。ただし端末デザインは不明。

11634302 journal
日記

masakunの日記: 薩た峠近くの東海道線、土砂崩れ

日記 by masakun

http://www.asahi.com/sp/articles/ASGB63FWMGB6UTPB00W.html

始発から運転を見合わせていた東海道線興津-由比間で土砂崩れ。ここらの傾斜地は地滑り対策事業をやっているはずなので、これは復旧に時間がかかりそうだな。

【10/7 0:45追記】JR 東海 - 《10月7日(火)の運行計画について》

○熱海駅~富士駅
・始発から列車の本数を通常より減らして運転します。

11634436 journal
アニメ・マンガ

Ledの日記: 動画を投稿しました 9

日記 by Led

これ、昨晩投稿したらばどんどん再生されててうれしいです。原理的にはポリゴンを細分化してばらまくだけの簡単なお仕事なのですが、見た目の派手さがウケてるように思われます。こういうキラキラ演出の入った動画がもっと増えるといいな。

MikuMikuDance界隈ではプログラマーはまだ少なめな雰囲気なんですけど、我こそはって/.jerの方、参入しません?

11634669 journal
日記

torlyの日記: オキテタセンイ

日記 by torly
太田川のシジミ激減、多雨影響も
 承★前
 宍道湖に行った…訳ではない。先日テレビでやってたバス旅の番組で偶然見かけてまだ漁をやってるのかと驚いた記憶があるが、そういや日記にも書いてた。
11634712 journal
日記

sadakenの日記: オスプレイで事故

日記 by sadaken
ISIS空爆作戦で初の米兵犠牲者か、オスプレイで事故 CNN

ISIS掃討作戦で米兵初の死者という見出し見て地上軍いないのに?
ISISに航空機を打ち落とす能力があるとは思えんけどなと疑問に思ってたが、CNNにより詳しい状況が載ってた。

オスプレイは同艦から離陸直後、出力を失い海面へ落下する状態となった。
墜落を予想した乗組員2人が機外に脱出して海に飛び込んでいた。
しかし、操縦士がその後、機体を持ち直して揚陸艦に無事に着陸させたという。

11634718 journal
日記

morosshoの日記: スマートフォンの機種変更 SHL23→FJL22

日記 by morossho

画面のガラスにひびが入ったので買い替え。中央を横一文字にヒビが入ってるだけなので気にしなければ使えるんだけど、どうにも気になるので買い替えた。
中古で15000円程度。mineoの設定も終了。動作も良好。指紋認証によるロック解除が結構楽しい。
今回の購入はSofmap。液晶にホコリ混入とのことでどんなもんかと思ったけど俺の目にはそのホコリがみえない。
画面の色合いはSHL23のほうが好み。こっちでなれるとFJL22は黒っぽく感じる。ついでにスピーカーがNexus5と同様本体下部なのでスピーカーからの音がSHL23よりも聞き取りやすい。
使って思うけどなんというか、新作を6万とか8万とかだして買ってたのが馬鹿らしくなってくるな、ってくらい動作が軽いです。これで1万5000円。これからは買い換えるときには中古を使いそうな予感。
このくらいの動作をするものを1・2モデル前にも作れてれば・・・・と残念に思えるぐらいの端末ですね。

11634719 journal
日記

witchの日記: 「神無月」 ま、まあまあ元気……かな

日記 by witch

ソウルジェムの濁る速度が早すぎて一週間持たない感じですけど。

今年もあと3ヶ月になってしまいました。
去年の今頃を考えると、暮らせているだけマシなのかも。

11634773 journal
日記

KAMUIの日記: 本丸御殿の素屋根にて。

日記 by KAMUI
台風が去ったので単車で名古屋城へ。

昼過ぎに出かけたら清正と踊舞が城内でおもてなし中でした(他の面々はなごやめし博覧会に出陣)。その様子を眺めながら本丸の方へ・・・あれ?本丸御殿の工事現場、公開してる? 以前は月曜は公開休みじゃなかったっけ? 勘違いかしらん? まぁ久しぶりに素屋根内の様子を見ましたが、対面所など第2期工事もかなり進んできた印象。と、言っても第2期は平成28年までかかる予定なんですけどね。
11634845 journal
日記

KAMUIの日記: 国立天文台の『皆既月食を観察しよう 2014』キャンペーン 16

日記 by KAMUI
10月8日夜、日本列島全域で皆既月食が観られることから、国立天文台が『皆既月食を観察しよう 2014』キャンペーンを行ないます。
11634868 journal
日記

miyuriの日記: アニメ内での画面

日記 by miyuri

鉢プリ映画では、ブラウン管っぽい表現をする模様。
土器プリ本編では、砂嵐を使っていたけど、またかっていう感じ。

○ー○ー○ー○Crystalでは、DVDだか超能力的な何かを使った映像出力で、砂嵐を出していたりと、どうも表現が古臭い。

東映がマヌケなのか、お約束な表現として確立しているのか、どうなのだろう。

11634887 journal
日記

poisonBreathの日記: 平和なエロイプに群がる人々 3

日記 by poisonBreath

いつものように、だらだらとインターネットを楽しんでいた休日の夜のことです。

情弱さにかけては他の追随を許さない知人の友蔵くんからラインが飛んできました。

「なあ、すげー奴が今実況やってるから見てみて!」
と、いうメッセージと共に付記されたURLに飛んでみると、そこはライブ映像配信サイトっていうかツイキャス。

なんか知りませんが、青年Aがガラの悪そうなおっちゃんを煽っている配信のようです。
状況がよくわからないので、友蔵くんに聞いてみたところ、

11634941 journal
スラッシュドット

AerospaceCadetの日記: 【定例】法に触れないか絶対にばれない方法があればとにかくD○b○nとそのトモダチとファンをぶっ殺したいです【3】

日記 by AerospaceCadet
薄汚れて血の穢れた不潔なDobonは自動車にはねられ路盤に強打した頭蓋から鯛の白子めいた脳髄を撒き散らせながら死ねばいいのに。
オレの#2689261にフレームのもとを付けたのはArtaneの#2688804に興味深いなんて付けやがった無知で無能で無教養で無駄飯食いの放射脳のDobonなんだろうがホントこれだからDobonはクソ。
ところで諸君。Dobonは今直ぐ死ぬべきだ。
11634997 journal
スポーツ

mujiの日記: 浦島太郎状態にもほどがあるw

日記 by muji

S山田が右打者のシーズン最多安打記録更新とか見て、

やまだってだれ?????

と思うなど。いやマジ誰よ?????orz
 #セはホント判らんのが…ってパも似たり寄ったりだが(ぉ

typodupeerror

吾輩はリファレンスである。名前はまだ無い -- perlの中の人

読み込み中...