タグ

2010年8月4日のブックマーク (28件)

  • タコイカウイルス作成の男を再逮捕--なぜ“器物損壊容疑”か?

    通称“タコイカウイルス”と呼ばれ、感染するとパソコン内のファイルを魚介類の画像に書き換えるコンピューターウイルスを作成し、ダウンロードした人のパソコンを正常に使えなくしたとして、会社員が器物損壊容疑で警視庁に逮捕された。 警視庁の調べによると、容疑者は2010年5月、音楽ファイルを装ったコンピューターウイルスを作成し、ファイル共有ソフト「Winny」に公開。ファイルをダウンロードした男性のパソコンがウイルスに感染し、正常に動作しなくなった。 同ウイルスは、2009年夏ごろからファイル共有ソフトの利用者らの間で流行。すでにおよそ5万人が被害に遭ったと見られている。 同容疑者は、2008年1月にも別のコンピューターウイルス、通称「原田ウイルス」を作成した容疑で逮捕。同年5月に、著作権法違反および名誉毀損罪で、執行猶予付きの有罪判決を受けている。調べに対し、同容疑者は「ウイルス作成の技術がどれだ

    タコイカウイルス作成の男を再逮捕--なぜ“器物損壊容疑”か?
  • 404エラー | CEDEC2024

    申し訳ありません。ページが見つかりませんでした。 ページが移動した・または存在しない可能性があります。

    404エラー | CEDEC2024
  • 5ちゃんねる error 3001

  • 通報した

    通報した

    通報した
  • bogus.jp

    bogus.jp xss sample hackerone 血統表検索 変換ツール github bogus.jp/twitter(@yousukezan)

  • ハロワ等で見つけた酷い求人

    221 : 軍人(和歌山県):2010/07/28(水) 18:33:41.36 ID:n85/c1wV 未経験可 ※実務経験3年以上 16 : 運営大好き(関西地方):2010/07/28(水) 15:45:51.49 ID:5kqC6/ep 明るくて人と話すのが大好きな方大募集! 223 : 演出家(岩手県):2010/07/28(水) 18:35:12.82 ID:NeNTFlLr 6 : VSS(アラバマ州):2010/07/28(水) 15:40:26.38 ID:VLZFGOOG ・ニート大歓迎 なにこれ?いじめたいの? 9 : 落語家(新潟県):2010/07/28(水) 15:41:51.08 ID:4CuyNqkM 147 : 大学芋(長崎県):2010/07/28(水) 17:25:15.22 ID:sxaOnhtZ >>9 体的には楽な仕事だろうが精神的にはつらいな

    ハロワ等で見つけた酷い求人
  • 生まれ変わった「日本語対応キンドル」は12000円から、Twitter&Facebook対応 【@maskin】 | TechWave(テックウェーブ)

    Amazon.comは、電子書籍リーダー「キンドル(Kindle)」の最新モデルを発表した。6インチモデルを刷新する形で、色はグラファイトとホワイト。Wi-Fi版が139ドルとおよそ12000円で購入できる。3G+Wi-Fi版は189ドル。8月27日に発売開始となる。 今回のモデルでは日語表示にも対応。米電子書籍端末市場のトップシェアを誇るキンドルだけに、デザインはもちろん見やすさもレベルアップしているが、それよりもTwitterやFacebookへ対応したことに注目が集まりそうだ。 より見やすく、小さく洗練されたデザイン 今回のリニューアルの最大の特徴は軽量化。21%サイズが小さくなり、17%軽くなっている。さらにフォントの追加に加え50%コントラスト比が向上しより見やすく、快適に読書が楽しめるようになっている。 筆者は10年以上前から電子ペーパーの動向をウォッチしているが、もはやバ

    生まれ変わった「日本語対応キンドル」は12000円から、Twitter&Facebook対応 【@maskin】 | TechWave(テックウェーブ)
  • 日本最高齢213歳も既に死亡 自宅に遺体

    最高齢213歳も既に死亡 自宅に遺体 これは嘘ニュースです 戸籍上の日最高齢者とされていた213歳の二宮五郎左衛門さんが167年前の46歳で既に死んでいた疑いのあることが、山口県生活保護センターの調べで分かった。 同センターの発表によると、先月東京足立区で111歳男性がすでに30年前に亡くなっていたのが発覚したことから、同センターでも県内の高齢者世帯を訪問調査していた。 調査の過程で、213歳の二宮五郎左衛門さん宅から応答がないことを不審に思った職員が中に入ったところ、居間に髷(まげ)のような髪のかたまりと細かな粉末状の骨のようなものを発見。持ち帰ってDNA鑑定をしたところ、これが五郎左衛門さんのものであることがわかった。 山口県警を訪れた五郎左衛門さんの家族は「曽曽曽祖父は167年前に亡くなったと言い伝えで聞いている。亡くなった後も、遺族共済年金が振り込まれ続けていたので、なかなか

    日本最高齢213歳も既に死亡 自宅に遺体
  • Amazon.co.jp: 死体入門! (ナレッジエンタ読本 7): 藤井司: 本

    Amazon.co.jp: 死体入門! (ナレッジエンタ読本 7): 藤井司: 本
  • まとめよう、あつまろう - Togetter

    コミュニケーションが生まれるツイートまとめツール

    まとめよう、あつまろう - Togetter
  • 田中理恵、電車で激昂し「次の駅で降りろ…」

    声優・田中理恵さん。 『ローゼンメイデン』水銀燈 『ハヤテのごとく』マリア 『ストライクウィッチーズ』ミーナ・ディートリンデ・ヴィルケ など 続きを読む

    田中理恵、電車で激昂し「次の駅で降りろ…」
  • OAuth WRAP WG - Google Groups

    WRAP is deprecated by OAuth 2.0, yes. All the companies that support WRAP have said they will move to

  • ラムダ計算 - Wikipedia

    この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。 適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。(2020年5月) ラムダ計算(ラムダけいさん、英語: lambda calculus)は、計算模型のひとつで、計算の実行を関数への引数の評価(英語: evaluation)と適用(英語: application)としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を(否定的に)解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論

  • プログラム意味論 - Wikipedia

    この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。脚注を導入して、記事の信頼性向上にご協力ください。(2023年8月) プログラム意味論(プログラムいみろん、英: program semantics)とは、計算機科学(特に理論計算機科学と分類されることもある)の一分野で、プログラミング言語の意味と計算モデルに関する分野である。形式的なものは、プログラミング言語の形式意味論とも呼ばれる。標準規格等では形式的でなく意味論を与えているものも多い。 形式的意味論[編集] 形式化にはいくつかの手法があり、以下の 3 種類に大別される: 表示的意味論: 対象とする言語の語句それぞれを「表示」に変換する。表示的意味論はコンパイルと対応すると考えることもできるが、意味論の議論ではその目的(形式化したい、という場合が多い)から、数学的な形式化された「

  • 操作的意味論 - Wikipedia

    操作的意味論(そうさてきいみろん、Operational Semantics)とは、プログラムの意味を数学的に厳密に与える計算機科学の手法の一種(プログラム意味論参照)。 プログラミング言語の操作的意味論は、有効なプログラムを計算ステップのシーケンスとして解釈する様子を記述する。そのようなシーケンスがプログラムの意味となる。関数型言語では、シーケンスの最後にはプログラムの値が返される。(一般にプログラムには非決定性があるため、ひとつのプログラムが返す値はひとつではなく、計算シーケンスも様々であることがある。) 典型的な操作的意味論の厳密な定義を与えたのは Gordon Plotkin の1981年の論文 "A Structural Approach to Operational Semantics"(操作的意味論への構造的アプローチ)が最初である。それは、対象言語に対応する状態遷移系を用意

  • 形式手法 - Wikipedia

    Z言語を使った形式仕様記述の例 形式手法(けいしきしゅほう、英: formal methods)は、ソフトウェア工学における数学を基盤としたソフトウェアおよびハードウェアシステムの仕様記述、開発、検証の技術である[1]。ソフトウェアおよびハードウェア設計への形式手法の適用は、他の工学分野と同様、適切な数学的解析を行うことで設計の信頼性と頑健性が向上するという予想によって動機付けられている[2]。 形式手法は理論計算機科学の様々な成果を基盤として応用したものであり、数理論理学、形式言語、オートマタ理論、プログラム意味論、型システム、代数的データ型などを活用して、ソフトウェアおよびハードウェアの仕様記述とその検証を行う[3]。 分類[編集] 形式手法はいくつかの水準で使用可能である: 水準0 形式仕様記述を行い、プログラム自体を非形式主義的に行う。「軽い形式手法」と呼ぶ。費用対効果が早く得るこ

    形式手法 - Wikipedia
  • Evernote on Ubuntu

    evernote-ubuntu WineHQのEvernoteの項目にはある程度動くと書かれているので,前から試してみたいと思っていましたので,今回やってみました.結論から言うと,日語表示・入力共に可能ですが,速度が実用的ではないです.今動かしているマシンはCore 2 Duo E8500+4GB memoryですが,動作がもっさりしています. まず,最新のWineをインストールします.WineHQにはUbuntu8.10用のapt lineが用意されていますので,/etc/apt/sources.listに以下の行を追加します. 次に,aptのための公開鍵を取得し,Synaptic Package Managerの認証/AuthenticationからImportします.その後にwineをインストールすればOKです.wineのバージョンは1.1.13~winehq0~ubuntu~8.

    Evernote on Ubuntu
  • Ubuntu クラウド・オフィス(15):EvernoteをUbuntuで活用する | Viva! Ubuntu!!

    BY u-bon on 月曜日, 5月 31st 2010   under: 10.04 Lucid Lynx, iPad, iPhone, ubuntu, どこでもオフィス, アプリケーション, インターネット, クラウド, 仕事にUbuntu   タグ: Evernote, クラウド    単なるオンラインメモ帳にとどまらず、あらゆるデジタルデータを、オンライン・ライブラリとして保存し、活用できる事で人気のEvernoteをUbuntuでも便利に利用することを追求していきます。 ・・・ということで、このページは、非定期にアップデートしていきます。 ■Evernoteなどを便利に使うGoogle Chrome拡張機能 Firefox, Google Chrome共に、Evernote専用のアドオン/拡張機能がリリースされていますが、単体のサービスのために貴重なアイコン表示スペースが取ら

  • 「タコイカウイルス」作者を逮捕 警視庁、器物損壊容疑を初適用

    ファイル共有ソフト「Winny」経由で感染する「タコイカウイルス」を作成し、PCを壊したとして、警視庁は8月4日、器物損壊の疑いで大阪府泉佐野市の会社員の男(27)を逮捕した。ウイルスによるHDD破壊に器物損壊容疑を適用したのは初めてという。 男は2008年1月、アニメ「CLANNAD」の静止画が入った「原田ウイルス」を作成し、ウイルス作者として国内で初めて逮捕され、著作権法違反の有罪判決を受けて執行猶予中だった(国内初、ウイルス作者逮捕 CLANNAD画像の「著作権侵害」で)。 調べによると、男は今年6月、北海道の男性のPCがウイルスをダウンロードしたことで感染し、HDDを使用不能にした疑いがもたれている。報道によると、男は「プログラミング技術が向上したか試したかった」「違法ダウンロードしている人を懲らしめたかった」などと話しているという。 タコイカウイルスは09年夏に出現。動画ファイル

    「タコイカウイルス」作者を逮捕 警視庁、器物損壊容疑を初適用
  • YOMIURI ONLINE(読売新聞)

  • OpenOffice.org ユーザーのための Microsoft Office 互換性研究室 - OpenOffice.org 2.0

    2003年に開設した「OpenOffice.orgユーザーのためのMicrosoft Office互換性研究室」ですが、後継ソフトのLibreOfficeとなって互換性は大きく向上しました。開設から15年が経過し「互換性研究室」としての役割は終えたと判断して、2018年12月15日をもって閉鎖させていただきました。 長い間のご愛顧ありがとうございました。厚くお礼申し上げます。 2018年12月15日 サイト管理人 松井幹彦

  • 研究の新規性 - EST!EST!!EST!!!

    最近は研究に一日のほとんどを費やす日々を送っています。毎週の研究会で厳しく突っ込まれることを繰り返しながら、アカデミックな世界で生きていく厳しさをひしひしと感じています。将来、経産省でキャリアを積んでから、再度アカデミックな道に戻るのもアリだなどと生意気なことを軽々しく言っていましたが、生半可な決意で進むべき道ではないことを痛感しています。 でも、何らかの成果が出た時の満足感も感じられることが多くなりました。また、お互いの研究について同じ研究室の同期と議論し合う時間は素晴らしく知的に楽しい時間です。最近研究室に毎日朝から晩までいられるのも、同期とのディスカッションが楽しいからという理由が大半を占めています。 冬学期は研究会で一週間〜二週間に一回、教授陣と研究室のメンバーに対して研究の進捗報告をするのですが、最近自分の弱点やダメな点が明らかになってきました。論理の飛びが多いことと、Q&Aが下

    研究の新規性 - EST!EST!!EST!!!
  • University of North Carolina at Charlotte - Wikipedia

  • Representational State Transfer - Wikipedia

    この記事には独自研究が含まれているおそれがあります。 問題箇所を検証し出典を追加して、記事の改善にご協力ください。議論はノートを参照してください。(2023年11月) Representational State Transfer (REST、レスト[1][2][3][4]) は、ウェブAPI(ウェブアプリケーションプログラミングインタフェース)の定義に使用されるアーキテクチャスタイル(共通仕様)[5]であり、同時にウェブのような分散ハイパーメディアシステムのためのソフトウェアアーキテクチャのスタイルのひとつでもある。この語はHTTPプロトコル規格の主要著者の一人であるロイ・フィールディング(英語版)がウェブについて書いた2000年の博士論文で初めて現れ、ネットワーキングコミュニティの中ですぐに広く使われることになった。 RESTは、初めはアーキテクチャの原則と制約の集まり(後述)を指して

  • 東大模試でA判定しかとらなかったのに落ちた男

    http://d.hatena.ne.jp/lonlon2007/20090317/1237298299 当方東大模試でA判定しかとらなかったのに落ちた男です。 私の失敗談を話してみたいと思います。 私は引用エントリの方のように開成ではなかったですが、それにも負けないくらいの進学校に通っていました。 高校3年までは、基的には授業は寝ないでちゃんと聞くだけで、予習・復習とかは特にせず、定期試験前1週間にその範囲を頭に詰め込んで試験を乗り切るという勉強を5年間(中高一貫なため)していました。 学校の中では成績は中の上、あるいは上の下、といったところでした。 高校3年の5月の東大模試で駿台・河合塾ともA判定になり、成績優秀者名簿に載りました。 それ以降の東大模試も基的にA判定を維持し、しかも模試をやるごとに順位を上げていきました。 夏休みは毎日10時間図書館で勉強していました。 センター試験

    東大模試でA判定しかとらなかったのに落ちた男
  • 模擬試験 - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "模擬試験" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2019年9月) 模擬試験(もぎしけん)とは、入学試験や資格試験の事前に受験者の能力を測定するなどの目的で行われる試験のことである。略称は模試(もし)。 中学入試の模試[編集] 中学受験においては、模試の代わりに物の入学試験を受ける例もある。例えば、東京都・神奈川県の私立中学校は相互協定のために2月1日以降でないと一般入試を実施できないが、それ以外の地域の中学校は1月入試があるため、東京会場で行われる場合は、番のリハーサルとして受けられることも多い。この場合は、近畿や四国の中学

  • 2NT -無料ブログ 無料ホームページ 等-

    2NTは無料ブログ、無料ホームページ等、楽しいWEB Lifeをお届けするポータルサイトです。

  • After Cider's Weblog