Mobile speed regulatory status 国内スマートフォン普及によりデータ通信量が増加中。回線パンクを防ぐためにドコモ、au、ソフトバンク、イー・モバイル各社は一定の通信量を超えた場合に速度規制を行う事にしました。各社の速度規制に関してまとめたものを「無線にゃん」様よりご提供。 NTTドコモ / KDDI au / ソフトバンクモバイル / イー・モバイル 4社の規制状況 ※2011年8月23日時点
LL Planets の「メタプログラミングの光と闇」で Haskell について話してきました。Perl、Python、Ruby が概ね内部 DSL を作る話だったのに対し、Haskell では外部DSLを内部に埋め込むという話をしました。短い時間で説明不足になった感があるので、この記事で二点ほど補足します。 Haskell では文法がうまく設計されており、コードを書けば自然とDSLっぽくなるので、わざわざ内部DSLなんて言わない。それよりもコンビネータという考え方を学ぶ方が新しい視野がひらけてよい。 Haskell ではパーサーを作るのが簡単。だから自分で言語を作るのも簡単。その言語を外部ファイルから読み込んでもいいし、HERE DOCUMENT のように内部に貼付けることもできる。 関数を二項演算子として扱う Haskell では関数をバッククォートで囲むと二項演算子になります。 i
iOSやその開発事情に詳しいと言える状態にはないので、調査を兼ねて書く。 Apple Sneaks A Big Change Into iOS 5: Phasing Out Developer Access To The UDID – TechCrunch http://wirelesswire.jp/Watching_World/201108221335.html 上記の「iOSでUDIDの利用が禁止」というニュースを聞いた時、正直TL上にこんなにいっぱい反応が貼り出されるとは思っていなかった。さすがにUDIDをいじるのはまずいよね、っていうコンセンサスは開発者の間では常識的部類に入ってくるのだろうと楽観的に捉えていたのかもしれない。 以下、なぜUDIDがそのようにスマートフォン開発者に利用されてきたのかについて、調べた限りでまとめてみた。 アプリケーションのサーバとのセッション保持 い
AppleがiOS 5の新ベータをリリースしたのだが、変更点に「UDID(Unique Device Identifier、デバイス固有ID)の廃止」含まれていたことが判明、各所で話題になっている(CNET Japan、Washington Post、WirelessWire)。 これに対する、Twitterでの日本の一部の開発者の反応が「UDIDに依存する人々とたしなめる人々にてまとめられているのだが、UDIDがなくなると困る、という人が多い模様。UDIDの代わりにアプリケーション側で固有のIDを作成して利用することは十分に可能なのだが、その場合その固有IDは作成したアプリケーションでしか利用できないため、不満をもつ人が多いようだ。しかし、UDIDはユーザーによる変更が不可能である不変IDであるため、非常に強力な個人トラッキング能力を持つ。さらに、アプリケーションを問わず認証が可能である
昆虫標本の一ジャンルで、樹脂標本というのがあるそうだ。 標本というと箱の中に虫をピンで固定したものを思い浮かべるが、樹脂標本はそうではなくてブロック状の樹脂の中に虫を閉じ込めたもの。こういうの。 たまたまネットで見つけてアラー楽しそうと思いながら見ていたが、作り方を見てみると、樹脂をよく攪拌しないと固まらないとか気泡が入ったらだめだとか乾くまで数日かかるとか、なんだか面倒なのである。 もっと手軽にやる方法はないか。そこで思い立ったのがこれだ。 インターネットユーザー。電子工作でオリジナルの処刑器具を作ったり、辺境の国の変わった音楽を集めたりしています。「技術力の低い人限定ロボコン(通称:ヘボコン)」主催者。1980年岐阜県生まれ。 本『雑に作る ―電子工作で好きなものを作る近道集』(共著)がオライリーから出ました! 前の記事:おまえも指紋検出してやろうか > 個人サイト nomoonwal
2007年02月05日01:00 カテゴリ書評/画評/品評Math 書評 - 不完全性定理 初掲載2007.02.04 脱帽。 不完全性定理 数学的体系のあゆみ 野崎昭弘 もしかして、今まで読んだ数学書の中で最高傑作かも知れない。 著者の野崎昭弘は、「詭弁論理学」の著者にして、「Gödel, Escher, Bach(GEB)」の訳者。安野光雅と「石頭コンピューター」を共著した人でもある。私は「πの話」以来のファンなのだが、その野崎昭弘が不完全性定理にガチで対峙したのが本書だ。 目次 第1章 ギリシャの奇跡 第2章 体系とその進化 第3章 集合論の光と陰 第4章 証明の形式化 第5章 超数学の誕生 第6章 ゲーデル登場 本書は、「不完全性定理とは何か」だけではなく、「公理とは何か」「定理とは何か」をまずきちんと解説した上で、「不完全性定理は人にとってどんな意味があるのか」までを説いている。
書かないつもりだったんだけどまあ一応。 http://www.plosone.org/article/info%3Adoi%2F10.1371%2Fjournal.pone.0022572no title論文の全体的な印象としてコンセプトはわかったから具体的に何を使って何したのか分かりやすく書いといて欲しいと思った。まあこれは僕の読解力の問題かもしれない。だが少なくともAbstractだけでは何したのかわからんな。 広範囲のウイルスに効くという触れ込み。Double-stranded RNA (dsRNA) Activated Caspase Oligomerizer (DRACO)と名付けている。その実体はdsRNAを認識するドメインとアポトーシスを誘導するドメインをくっつけた大腸菌組換えタンパク質。 病原体として知られているウイルスはRNAが多い。んで、RNAウイルスは自己増殖するとき
ニセ科学の見分け方 屁理屈・ねつ造・陰謀論… その手口と対策 産業技術総合研究所 太陽光発電工学研究センター 主任研究員 櫻井啓一郎 2013.6.29 (v1.90) ケース1:相反する主張 どっちが 正しいの? 宇宙人は居る! 宇宙人なんて居ない! Checkpoint 1 物事には「100%白黒つけられない」ことがある 「どの程度」確からしいのか、が重要 ケース2:肩書き? 宇宙人は居る! 宇宙人なんて居ない! Checkpoint 2 肩書きなんて飾りです その人のこれまでの実績は? ケース3:証言? 宇宙人が来た! 俺は見たんだ! 宇宙人なんて来てない! あんた夢でも見たんだろう! Checkpoint 3 “○○さんが言った“だけで 判断していいの? ケース4:証拠? 宇宙人を見た! 写真もある! 宇宙人なんて来てない! Checkpoint 4 宇宙人を見た! 写真もある!
「ウェブリブログ」は 2023年1月31日 をもちましてサービス提供を終了いたしました。 2004年3月のサービス開始より19年近くもの間、沢山の皆さまにご愛用いただきましたことを心よりお礼申し上げます。今後とも、BIGLOBEをご愛顧賜りますよう、よろしくお願い申し上げます。 ※引っ越し先ブログへのリダイレクトサービスは2024年1月31日で終了いたしました。 BIGLOBEのサービス一覧
論理(学)の話を少し。ここでいう論理(ロジック)は、記号論理学、形式的論理学、数学的論理学などと呼ばれる分野のことです。この意味での論理を学んだからといって、通常の(世間的な)意味での“論理的な人”になれることはまったく保証できません。 こころがまえ五箇条 さて、記号論理学を受け入れる気持ちになるには、とりあえず、次のようなことを心にとめるべきかと。 無意味な記号の無意味な操作を認める。 しかし、記号と操作に意味を与えられることも認める。 記号/操作の意味付与(解釈)には、なんらかの“世界”が必要なことを知る。 (現実の、または架空の)とある“世界”で、なにごとかが“正しい”かどうかの判断(judgement)ができると信じる。 意味・解釈を根拠とした記号操作も、意味を剥<は>ぎ取って「無意味な記号の無意味な操作」だとみなせることを知る。 機械的な記号操作 無意味な記号の無意味な操作は味気
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く