Clik here to view.
人類の妄想が生み出した数学は最強の道具である
昨夜はARCの風雲児こと、坂口和彦くんをゲストに迎えて、「【定理証明スペシャル】Congruence Closureアルゴリズムによる等式の自動証明」と題したニコ生を放送した。(タイムシフトはこちら→http://live.nicovideo.jp/watch/lv290429623#1:06:20)...
View ArticleClik here to view.
あきらめなければ夢は叶うのか?それとも
https://twitter.com/maskot1977/status/766225852166135808 こちらのツイートがTumblrで流れてきて、うーむと思ったので。...
View Articleバグのないプログラムを書くことは理論上は可能である
プログラムのわからないえらい人「バグのないプログラムを書くことはできないのか？難しいかもしれないが、十分に気を付けていれば防げるのではないか？」にどう返したらいいのかわからない http://anond.hatelabo.jp/20170214114736 バグのないプログラムを書くことは理論上は可能である。 そのためのツールもノウハウもある。 それを定理証明支援系言語と呼ぶ。...
View ArticleClik here to view.
アイドルは暗殺者
ショックが大きい。 金正男氏は、北朝鮮の幹部の中でも、非常に日本的というか、アキバ的というか、親しみを感じる相手だっただけに、今回暗殺されてしまったのは本当に残念に思う。 万が一、彼が国家主席になっていたら、日本との融和路線に大きく傾くこともあったかもしれないという淡い期待が僕にはあったので、今回の件は本当に残念だ。...
View ArticleClik here to view.
せきぐちあいみのVRアート個展
過日、せきぐちあいみさんのVRアート個展を見に行ったら、偶然Engadgetが来ていてインタビューを受けた。 動画からだけではなかなか伝わらない迫力をぜひ分かっていただきたい。 動画：せきぐちあいみVR個展『Daydream Reality』体験、見上げればそこは作品世界 - Engadget 日本版...
View ArticleClik here to view.
シン・ゴジラ ブルーレイ/DVDがいよいよ発売!
いやー、悩んだ。多少。 というのも、シン・ゴジラのBD/DVDは、ラインナップが多すぎる さらに、Amazonの早期購入特典つきかそうでないかで値段が変わる。 Amazonの早期購入特典は、オリジナルスチールケース(BDのみ)と、ペアチケットホルダー。 ペアチケットホルダーというのは、シン・ゴジラの映画の半券と初代ゴジラの映画の半券を入れることができるらしい。...
View ArticleClik here to view.
Scrapboxがなかなか良い
増井俊之さんの作ったGyazzというサービスがあって、まあこれもなかなか良かったんだけど、どうも全ての情報が公開されてしまうというあたりが会社で使うには不可能というか秘密保持の観点から限りなく無理だったので、「こりゃいつもの増井スペシャルだのう」と思っていたら、進化してScrapboxになった。 https://scrapbox.io...
View ArticleClik here to view.
Engadgetで連載が始まりました
今週からEngadgetで連載を開始することになりました。 連載なのにノンジャンル。 とはいえなんらかのテーマ性は欲しい、ということで、Engadgetの矢崎編集長と相談した結果、情熱とミーム(そして裏テーマとしてAIとVR)をテーマにした連載です。 でもまあ、基本的にこっちのブログと似たような感じになると思うのですが 一発目はかなり真面目な出だしになりました。...
View ArticleClik here to view.
今こそ人類は亜光速探査機を送るべき
目がさめるようなビッグニュースというのはまさしくこういうものだろう。 39光年先に地球に似た７惑星、ＮＡＳＡが発見 水が存在する可能性 ：日本経済新聞 http://www.nikkei.com/article/DGKKASGG22H1W_S7A220C1EA1000/ NASAの発表によれば、39光年先に地球型惑星が発見されたそうだ。 自分で光る恒星と違い、惑星を発見するのはムチャクチャ難しい。...
View Article最近、フェティシズムが足りない
いや、足りなくてもいいのかもしれないけど。 すっかり物欲と無縁の生活を送っております。 どのくらい物欲と無縁かというと、「うーん、出張するからカメラを新しく買おうかなあ。α7Sとか買おうかなあ・・・でもその金で酒とか飲んだほうが楽しいかな」くらいです。...
View Articleこーゆー人の企画するイベントには絶対登壇したくない
僕たちが講演イベントを行うときには必ずプレゼンテーションファイル（KeynoteかPPT）を事前に集める．少なくとも1週間前には全員分のファイルを集め，メインとバックアップの2系統の映像送り出し機材で動作確認をする．この2台は映像スイッチャに繋がれ，緊急の場合は瞬時に入れ替えられるように設定する． ところが，前日や当日になって「差し替えて下さい」という依頼が来る．絶対に来る．...
View ArticleClik here to view.
シン・ゴジラを見て「なにかに似てる」と思ったのはこのマンガ
シン・ゴジラをエールフランスの機内で見た。 相変わらず面白かった。 12時間、ネット接続から断絶されるという、まあ僕にとってはほぼ拷問と言って良い体験ではあるのだけど、、シン・ゴジラが好きなだけ見れたのでまあ良しとする。...
View ArticleClik here to view.
「よくわかる人工知能」またまた増刷
もう何度も書いているので、さすがにもはや新しいネタはないですが、おかげさまで大好評をいただいている「よくわかる人工知能」ついに四刷です。 よくわかる人工知能 最先端の人だけが知っているディープラーニングのひみつ 作者: 清水亮 出版社/メーカー: KADOKAWA 発売日: 2016/10/17 メディア: 単行本 この商品を含むブログ (13件) を見る...
View ArticleClik here to view.
AIで仕事がなくなっちゃう!というよくある誤解
春から某大学で客員研究員をやることになったみたいです。辞令とかこないので本当になるのか不安ですが、どうもなるみたいなので、たぶんやるんでしょう。 研究員になるとなにがいいのかというと、過去の論文に好きなだけアクセスできるのだそうです。 そして大学院生とは違い、授業に出たり授業料を払ったりしなくていいらしいのです。なにそれ最高かよ。...
View ArticleClik here to view.
楽して痩せる? SIxPadを試してみた
やはり運動はサボるといろいろなことが起きる。 まあ以前は痩せたかったら走ればいいや、と思って「太ったなあ」と思う度に走ったりしてたんだけど、そこそこ年齢がいくと走ると確実に痩せるが、皮膚がたるんでくる。 コレは困った。どうすればいいのよ。...
View Article出世か恋か、はたまたその両方か。女性は夢中、男にゃ悪夢。最終兵器ラ・ラ・ランド
ミュージカル映画ということできっと楽しい話なんだろうなと思って見に行ったんだけど、やばい。こころをえぐる。このブログの圧倒的読者である男子諸君はSAN値を削られる覚悟で見に行くべし。 で、もうどこの飲み屋に行っても、誰と話ししてもラ・ラ・ランドの話でもちきり。まあ語りたくなるわなあ。あの映画。...
View ArticleClik here to view.
今だから敢えて沈黙の艦隊を読む
かわぐちかいじの沈黙の艦隊というマンガがあって、これは1988年から1996年までに講談社のモーニングに連載された作品だ。 日米が極秘裏に建造した原子力潜水艦シーバット。乗組員は全員、死んだはずの自衛官。 ところが処女航海中にシーバットの艦長、海江田四郎は逃走。そして独立戦闘国家「やまと」を名乗り、日本国からも米国からも独立を果たす。...
View ArticleClik here to view.
ソードアート・オンライン オーディナルスケールをプログラマー/ゲームデザイナーとして見てみた
ソードアート・オンラインは原作が好きなんだよね。 アニメは時間がないので見てないが面白いらしい。 そのソードアート・オンラインがARになったということなのでワクワクしながら映画館に行ったのさ。新宿バルト9。そのスクリーンは、まるでアニメイトのようなムワッとする熱気と臭い(文字通り)に包まれていた。帰りたい。 以下ネタバレ...
View ArticleClik here to view.
SixPad楽しい。まだ痩せないけど
SixPadが楽しい。 つけながら仕事できる。 毎朝つけてる。 つけながらブログ書く。 いまも付けてる。 脂肪の下で筋肉が確実に動いてるのがわかる。 速筋だけが鍛えられてカロリー消費がほとんどないとか批判はいろいろあるらしいが、僕としてはこんなに楽しいものをなぜ今まで買わなかったんだろうという感じ。 運転中にも、会議中にも筋トレできる。...
View Article