パスワードを忘れた? アカウント作成
2014年9月 記事 / 日記 / コメント / タレコミ
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
2014年9月6日のタレコミ一覧(全9件)
11544637 submission
テレビ

最高裁、NHK受信料は5年で時効との判断

タレコミ by headless
headless 曰く、
最高裁第2小法廷は5日、滞納されたNHK受信料の時効を5年とする判断を示した(毎日新聞の記事朝日新聞デジタルの記事時事ドットコムの記事AV Watchの記事NHKの報道資料: PDF)。

NHKは滞納分の受信料について、一般的な債権と同様に10年前までさかのぼって請求できると主張し、横浜市の男性に対して2005年6月から2012年7月までの受信料支払いを求めていた。一審の横浜地裁では受信料について民法で規定される1年以内の期間ごとに支払われる債権とみなし、時効を5年と判断。二審の東京高裁でも時効を5年とする判決が出ており、NHKが上告していた。受信料の時効をめぐる数百件の訴訟の中には判決が確定しているものもあるが、最高裁で確定するのは今回が初めて。現在係争中の裁判では最高裁判決に基づいた審理が行われるとみられ、NHKは最高裁で争われている20件について訴訟を取り下げるという。今後もNHKでは滞納された受信料の全額を請求するが、契約者から時効の主張があった場合には消滅時効を5年として扱うとのことだ。
11544844 submission
プログラミング

コードを学ぶことはコンピューターサイエンスの学位よりも重要?

タレコミ by headless
headless 曰く、
本家/.「Does Learning To Code Outweigh a Degree In Computer Science?」より

大学で学位を取得することは、プログラミングを仕事にするために最良の道ではない。数多くの求人がコンピューターサイエンスを専攻した人を対象としているものの、大学を卒業したからといって必要なスキルが身についているとは限らないことに雇用者が(求職者も)すぐに気づくことも多い。Cody Scholberg氏はEpoch Timesの記事で、「実質的にすべてのコンピューターサイエンスカリキュラムが理論を重視し、実用的なプログラミング技術はおまけ程度に教えているためだ」と述べている。このことはプログラマーの世界でよく聞かれる話と結びつく。米国では半分近くのソフトウェア開発者は大学を卒業しておらず、高校を卒業していない人も多い。その代わりにプログラマーになろうとする人の多くがオープンソースのコードを教材にして学習するか、米国中に出現している短期集中プログラミング講座で学習しているといったものだ。理論が有益な場面もあるが、仕事の現場で必要とされているスキルを大学で教えているかどうか、オープンソースによる学習が増える中で大学の位置付けはどのようなものか、といった問題をこの状況は提起している。

11544922 submission
プログラミング

悩まされてしまうプログラミング言語の奇妙な特徴は?

タレコミ by headless
headless 曰く、
本家/.「Ask Slashdot: What Are the Strangest Features of Various Programming Languages?」より

プログラミング言語にはそれぞれ奇妙な文法や普通ではない機能、標準ではない実装といった独特の癖がある。こういったことはその言語を初めて使用する開発者だけでなく、熟練のプロをも悩ませる。ITworldの記事ではJavaScriptの+演算子の動作からC/C++のトライグラフ、Pythonのインデントレベルなど、プログラミング言語の奇妙な特徴を10個選んでまとめている。皆さんが最も悩まされているプログラミング言語の奇妙な特徴は何だろうか。

ITworldが選んだプログラミング言語の奇妙な特徴は以下のようなもの。他にもいろいろあると思われるが、/.Jerはどういった点に悩まされている(または悩んだことがある)だろう。

  1. JavaScriptでの+演算子の動作
  2. Perlモジュールは必ずTRUEを返す必要がある
  3. CとC++のトライグラフ
  4. PHPでのケースインセンシティブとケースセンシティブの混在
  5. Rubyで「0」がTRUEと評価されること
  6. Pythonでインデントレベルがブロックを示すこと
  7. Cの配列インデックスがポインターの算術演算のような動作をすること
  8. Perlの定義済み変数
  9. JavaScriptで勝手に挿入されるセミコロン
  10. Javaのオートボクシング
11545281 submission
ゲーム

JKと二人っきりになれるVR恋愛ゲーム Summer Lesson が話題に

タレコミ by masakun
masakun 曰く、

9月1日に開催された「SCEJAプレスカンファレンス」で、バンダイナムコはプレイステーション用VRヘッドマウントディスプレイ「Project Morpheus」向けに開発中の恋愛シミュレーションゲーム Summer Lesson を発表したのだが、そのデモがすごすぎると話題になっている(WIRED.jp)。

百聞は一見に如かず。まずは鉄拳シリーズを手掛ける原田勝弘氏が紹介するデモを見てほしいが、Summer Lesson のキャラクターがプレーヤーを認識してうなずいたり首を振ることでコミュニケーションをはかることはもちろん、ヴァーチャルキャラクターの動作をじっくり鑑賞できるそうなのだが、没入感たっぷりのデモの設定が女子高生の寝室になっているとして、日本の住宅事情を知らない海外のメディアがけしからんと話題にしている。

さらに原田氏によると、「どんなキャラクターも存在できるセッティングにしているので、今後いろいろなキャラクターとこの空間で会える」ようにできるとのこと。なお9月18日からの TOKYO GAME SHOW 2014でも Summer Lesson の体験デモを楽しめるそうだ。

なお【CEDEC 2014】「Project Morpheus」で実現する未来・・・VRゲームの開発ノウハウをSCE・吉田修平氏が一挙公開という記事によると、「フレームレートが一番重要で、60FPSでなければ発売すべきではない」、体性感覚を保てるようにする、「ゴーグルをセットすると周囲が見えにくくなるため、座って体験させる方がベター」とのこと。「Project Morpheus」向けの簡単なデモとして女子高生の部屋が選ばれたのは、恋愛シミュレーションが人気の日本では当然の流れだったのかも。

11545416 submission
数学

/.Jに聞け:【助けて】 P≠NPの証明、これで合ってる?

タレコミ by fiercewinds
fiercewinds 曰く、

/.Jの皆様にお知恵を拝借したいと思います。

私は趣味で数学を勉強しているのですが、計算機科学で重要な未解決問題と言われているP≠NP問題の解(らしきもの)を発見しました。

内容はそれほど難しくないのですが、本当にこれでいいか自信がちょっと持てません。学会でも発表してみたのですが、短時間&参加者が少なかったため、あまり良いコメントはもらえませんでした。

お手数をお掛けしますが、/.Jの皆さんに下記の証明についてコメントいただけませんでしょうか?

__________________________________________
関数の出力の一意性より、ある集合Xの要素xについて、関数fの出力f(x)が集合Yに含まれて集合Xに含まれない場合は、XとYは等しくない。
∀X,Y,f(
 ∀x∈X(f(x)∈Y)∧∃x∈X(f(x)∉X)
 →(X≠Y)
)

上記の式のX,YをP,NPに、fを論理演算子(¬,∨)に限定。
P≠NPとなる条件は、P問題のどちらかが真となる問題がNPに含まれる、Pの否定問題がPに含まれる、P問題のどちらかが真となる問題がPに含まれない、の3点
(∀p,q∈P(p∨qb∈NP))
∧(∀r∈P(¬r∈P))
∧(∃x,y∈P(x∨y∉P))
→(P≠NP)

第一の条件:チューリングマシンの構成より、P問題を計算する決定性チューリングマシンを複数まとめたものはP問題と同じリソースを使う非決定的チューリングマシンになる。よってNP問題となる。
∀p,q∈P(p∨q∈NP)

第二の条件:決定性チューリングマシンの構成より、P問題の真偽が逆のチューリングマシンはP問題と同じリソースを使う決定性チューリングマシンになる。よってP問題となる。
∀r∈P(¬r∈P)

第三の条件:背理法を用いて真であることを示す。P問題x,y,zの論理和x∨y及び否定¬zが全てPに含まれると仮定する。前述の結果∀z∈P(¬z∈P)を含めて考えと、P問題とその論理和・否定を組み合わせることによって任意の論理式を構成することができる。
この論理式と等価な回路からなる回路族の集合を考えると、この回路族の集合には決定問題に対応する回路族が含まれる(具体的な回路族が定まれば、P問題とその論理和・否定を組み合わせることによって構成することができる)。よってこの回路族の集合は決定問題Rと等しい。
つまり、仮定が正しければPとRは等しい。しかし、PはRを含まないため矛盾する。よって背理法よりx∨yにはP問題に含まれない問題が存在する。
(∀x,y∈P(x∨y∈P))∧(∀z∈P(¬z∈P))
→(P⊂R⊄P)=false
∴∃x,y∈P(x∨y∉P)

以上を組み合わせて、P≠NPが導出できる。
P≠NP

以上です。

11545491 submission
携帯通信

謎の偽携帯電話基地局が全米各地で見つかる

タレコミ by headless
headless 曰く、
セキュリティーを強化した携帯電話「GSMK CryptoPhone」シリーズを米国で販売しているESD Americaによると、通信会社が設置したものではない偽の携帯電話基地局(インターセプター)が全米各地で発見されているそうだ(Twitter — Cell Hacking AlertsPopular Scienceの記事本家/.)。

インターセプターの中身はコンピューターに無線通信機能を追加したもの。通話内容の傍受のみが可能な低機能なものから、政府機関が使用する VME Dominatorのように偽のテキストメッセージを使用してスパイウェアを送り込むといったことも可能なものもある。インターセプターはCryptoPhone 500が存在を検出。米軍基地周辺で数多く発見されているが、使用者は不明だ。ラスベガスのカジノ付近でも発見されており、フロリダからノースカロライナへの経路で8つの異なるインターセプターを発見したという報告もあるという。
11545628 submission
原子力

韓国の使用済み核燃料、飽和目前。処理場も建設できず 1

タレコミ by masakun
masakun 曰く、

韓国の高レベル使用済み核燃料置き場が飽和目前、さらに処理場も建設できない実態が明らかになった(NAVER News)。

韓国の中・低レベル放射性廃棄物処分場は慶州市に建設されたが、敷地内にある断層が活断層かどうかの判断をめぐって韓国原子力環境公団と環境団体が激論を展開し本格稼働がまだである(エネルギータイムズの記事)。しかし高レベル放射性廃棄物の処理場にいたっては建設のめどすらたっておらず、1978年に古里1号機が稼働して以来、すでに1万3000トンに及ぶ使用済み核燃料が原発内部の水槽に格納されたままである。そして早ければ2016年には古里原子力発電所の置き場所がいっぱいになるという。置き場所がいっぱいになれば原発を閉鎖せざるをえないため、原発の存在理由が大きく毀損されるという指摘もある。

ちなみにWEDGE Infinity の記事によれば、現行の韓米原子力協定は旧・日米原子力協定と同タイプで、米国産の核物質(ウラン燃料)の再処理・濃縮・第3国移転は米国の事前承認がなければできないという明文の条項があるのだが、核なき世界を標榜するオバマ政権が再処理を認めない方針を貫いているそうだ。そのため韓国は再処理が認められている日本を羨んでいるが、六ヶ所村の再処理工場の稼働で足踏み状態が続けば「権利の不行使は権利の放棄」とみなされ、日本の原子燃料リサイクルが頓挫する恐れもあるという。

11546052 submission
医療

国内でのデング熱感染拡大

タレコミ by maia
maia 曰く、

8月27日に国内で(渡航経歴の無い人の)約70年ぶりのデング熱感染が公表された(発症は20日で確認は26日:デングウイルス感染症情報)。デング熱は人→蚊→人の経路で感染する。当初の感染場所は全て代々木公園で、8月中の事のようであった。その後発症例の集計が進み、9月4日の第6報で55人に達し(厚生労働省の発表)、5日現在では72人となったようだ(産経の記事)。殆どは代々木公園で感染したようだが、1人は新宿中央公園で感染した可能性が高く、6日の情報では男性1名が、外濠公園か明治神宮外苑のいずれかで感染した可能性があるという(共同の記事)。また報道ベースでは明治神宮で感染したという話もある。「国内に生息するヒトスジシマカはウイルスの増殖能力が低く大流行を起こしにくい(前出産経の記事)」とされ、実際に重症例も出ていないが、厄介な事ではある。

11546229 submission
Java

コーヒーのゲノムが解読される

タレコミ by headless
headless 曰く、
ロブスタ種として知られるロブスタコーヒーノキ(Coffea canephora)のゲノムが解読されたそうだ(論文アブストラクトReutersの記事AFPBB Newsの記事本家/.)。

ロブスタ種のコーヒー豆は全世界のコーヒー豆生産量の約30%を占め、インスタントコーヒーなどの原料として使われている。研究チームは乾燥や病害虫への耐性に関連する遺伝子のほか、カフェインやアルカロイド、フラボノイドの生成に関わる遺伝子などを特定。ロブスタコーヒーノキには他の植物と比べてアルカロイドやフラボノイド生成に関わる遺伝子が多く、これがコーヒー豆の香りや味に影響を与えているという。また、カフェイン生成に関わる遺伝子はカカオやチャノキとは別の系統で進化したことも判明したとのこと。これらの研究成果は干ばつや病害虫に強く、味や香り、カフェイン量を調整した新品種の開発に役立つとみられる。なお、アラビカ種として知られるアラビカコーヒーノキ(Coffea arabica)のゲノム解読も別途進められているとのことだ。
typodupeerror

未知のハックに一心不乱に取り組んだ結果、私は自然の法則を変えてしまった -- あるハッカー

読み込み中...