ニンテンドー3DSまとめWIKI
ここは2011年2月26日に発売されたニンテンドー3DSに関するお役立ち情報を皆でまとめられる非公式ウィキページです。 現在誰でも編集できます。みんなで有意義な情報を共有していきましょう。 ニンテンドー3DSを体験される方へ 3DSを始めとするする3D映像は6歳以下の子供に対し悪影響を与える可能性があることが示唆されています。 また、逆に立体視による眼筋の鍛えが視力を改善させるという論証も示されており、 現状ではどちらが正しいのかを判断する術はございません。 そのような事情を鑑み、任天堂側も安全対策として6歳以下には2Dで遊ばせるよう注意発起をしています。 保護者による使用制限機能により3Dの非表示設定も行えますので、お子様に3D映像でゲームを行わせることに不安のある方は御利用ください。 また大人でも初めは目が疲れやすいと感じる方もいると思います。これは普段使わない目の筋肉を使うことにより
Javaだって関数型言語に負けないぐらい魅力的：オブジェクト指向だけで計算してみる - ようじょと結婚したい
HaskellやScalaなどで一躍大人気となった関数型言語には、その根底に型付きラムダ計算という計算体系の理論が存在しています。この型付きラムダ計算の理論のおかげで、関数型言語では型安全なプログラミングが出来るのです。 ではオブジェクト指向言語にはそのような理論は存在するのでしょうか。 Javaについては、割と最近ですが、Javaをモデル化した計算体系を扱った、 Featherweight Java: a minimal core calculus for Java and GJ [Igarashi et al., 2001] という論文が存在します。この論文では、JavaとJava 5.0以降で採用されたジェネリクスという仕組みをモデル化したオブジェクト指向の体系を定義し、この体系上での型安全性の証明を行っています。 この論文の体系では構造化定理で言う条件分岐と反復が定義されていません
vermagic と modversions に関する覚え書き - めもめも
カーネルモジュールをロードする際の実行中カーネルに対する整合性チェックの仕組みには、vermagic と modversions の 2 種類があります。 太古の昔は・・・ 古いカーネルでは、モジュールをコンパイルする際に使ったカーネルソースのバージョン・ストリング（include/linux/version.h）を見て、ロード可能なカーネルを決定していたような記憶がかすかに・・・。これは、安全性と柔軟性の両面において『帯に短し、たすきに長し』でした。 ・安全にロードできるカーネルを厳密にチェックするという意味では、不十分です。（同じバージョン名でも、カーネルの Config オプションが異なる可能性などを排除できない。） ・複数バージョンのカーネルにロードできるモジュールを作れないので、もちろん柔軟性に欠けています。 その後、安全サイドをより強固にサポートする vermagic と、柔軟
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Ideone.com
