“Symbolic bounds analysis of pointers, array indices, and accessed memory reg...
プログラムを高速化する話
“Symbolic bounds analysis of pointers, array indices, and accessed memory reg...
「Google Code」、2016年1月25日に閉鎖へ GitHubへの移行を奨励
米Googleは3月12日（現地時間）、開発者向けにAPIなどを提供したり、オープンソースプロジェクトをホスティングするサービス「Google Code」を来年1月に閉鎖すると発表した。同日、新たなプロジェクトの作成はできなくなった。 Googleは2006年、オープンソースプロジェクト支援を目的にこのサイトを開設したが、その後、GitHubやBitbucketのようなプロジェクトホスティングサービスが立ち上げられ、多数のプロジェクトがそれらのサービスに移行していった。Googleは、Google Code上のプロジェクトに占めるスパムや悪質なものの率が高まってきていることも閉鎖の理由の1つだと説明する。 Google自身は既に、昨年10月に同社のAPI群のGitHubへの移行を開始し、Google Code上のプロジェクトを凍結している。 Google Code閉鎖までのプロセスとして、
Yahoo!メールが崩壊しつつある件
Yahoo!メールのサービス劣化が著しい。 失敗した新UIへの移行Yahoo!メールはサービス開始当初からある古めかしいHTMLバージョンと、なかなか正規版に移行しないベータ版の新UIが何年も共存していたのだが、新UIはモバイル版での不具合が多く、なかなか移行がすすまないようだった。実際、私もベータ版は信頼度が低すぎて、一度使い始めたがすぐに旧UIに戻した。 つい最近になって、このベータ版を切り捨てて、別のバージョンの新UIへ全員強制的に移行したのだが、このバージョンも読み込みが非常に遅く、使い勝手が悪い。 古めかしい広告中心のビジネスモデルYahoo!メールのwebメールには広告がでかでかと表示される。有料版であるYahoo!プレミアムに加入しても、非表示になることはない。 GmailやOutlookは無料で広告が非表示になっている時代に、なぜ毎月金を払って広告を見せられ続けなくてはなら
Unreal Engine 4（アンリアルエンジン４）が無料化！ - どなたでも無料ダウンロード！将来のアップデートもすべて無料です！
Unreal Engine アセット アセット-Asset Physics Platformer Toolkit - Unreal Engi... 2025-05-27 Unreal Engine向け物理挙動チュートリアルでお馴染みLusiogenicから、物理演算を活用したプラットフォーマーツールキット「Physics Platformer Toolkit」がFab上でリリースされました！ 続きを読む 製品レビュー 製品＆ハードウェア-Product&Hardware 3Dconnexion SpaceMouse Review - 作業効率を次の次... 2025-05-24 3DconnexionのSpaceMouseシリーズは、独自の3Dマウス（6Dof入力）を備えた、3DモデリングやCAD作業における視点操作を直感的かつ効率的に行うためのデバイスです。今回主な3モデルである「Spa
ユーザー「3DSを無くしました」 任天堂「自己責任。再DL？買い直してください」 : IT速報
ユーザー「3DS無くした(;_;)」任天堂「自己責任 再DL？乞食乙」 3DS紛失。 サポートに電話するもDLソフトの再DLなどについての質問にはのらりくらりで回答せず。仕方ないのでメールで問い合わせ ↓ 任天堂2日も放置 ↓ ようやくメールの返事が届く ・（ネット周辺の）仕様は社外秘 ・なので質問は一つも答えません ・あとはマニュアル読んで、買い直ししたけりゃお好きにどうぞ ・警察から要請あった状態で、もし修理でうちに届いたら捜査協力してやってもいいぞ ※ソース 任天堂への質問 http://acubens-house.hatenablog.com/entry/2014/09/24/185840 任天堂の回答と、回答への返事 http://acubens-house.hatenablog.com/entry/2014/09/26/191949 5: 名無しさん必死だな＠＼(^o^)／ 2
MenuetOS
MenuetOS is an operating system in development for PC, written completely in 64bit assembly language. Features include pre-emptive and real-time multitasking with multiprocessor support and Graphical User Interface. Menuet64 (2005) is released under License and Menuet32 (2000) under GPL. Menuet supports assembly programming for much faster, smaller and less resource hungry applications. Menuet isn
Ruby作者Matz伝説第2章、新言語「Streem」始まる | ソフトアンテナ
世界的にも有名なRubyの作者Matzことまつもとゆきひろ氏の新しいプログラミング言語「Streem」のリポジトリがGitHubで公開され、注目を浴びています。 説明によるとStreemとは「ストリームベースの並行スクリプト言語」。シェルと似たプログラミングモデルを基礎として、RubyやErlangやその他関数型プログラミング言語に感化されているということ。 例えばシンプルなcatプログラムは、以下のように記述されます。 STDIN | STDOUT さらにFizzBuzz問題はこのように。 seq(100) | {|x| if x % 15 == 0 { "FizzBuzz" } else if x % 3 == 0 { "Fizz" } else if x % 5 == 0 { "Buzz" } else { x } } | STDOUT シンプルですね。パイプでつなげるところがシェル
人工知能が急に進化し始めた！ | TheWave
人工知能。何十年も前からある言葉だ。国家プロジェクトとして研究されていた時期もあった。それでも完成しなかった。やはり人間の脳は複雑で、それをコンピューターで真似することなど不可能かもしれない。 人工知能。何十年も前からある言葉だ。国家プロジェクトとして研究されていた時期もあった。それでも完成しなかった。やはり人間の脳は複雑で、それをコンピューターで真似することなど不可能かもしれない。 「ところがブレークスルーが起こったんです」と東京大学の松尾豊准教授は熱く語る。 ▶2012年。人工知能研究に火がついた 2012年。人工知能の精度を競う国際的な大会で、カナダのトロント大学がぶっち切りの勝利を収めた。それも１つの大会だけではなく、３つ続けてだ。 「優勝したのは、画像認識、化合物の活性予測、音声認識など３つのコンペティション。まったく異なる領域にも関わらず、今までその分野を専門的に研究していた人
ささっと摂氏華氏計算★摂氏華氏の換算式と早見表(華氏1度～1000度まで)
摂氏・華氏 換算表ダウンロード 華氏1000度までの対応表のエクセルファイルはここから無料でダウンロードできるようにしました。華氏は１～１０００まで、摂氏は華氏に対して計算する式が入っています。使う人はいないとおもうけど、81KBと小さなファイルなので、よろしかったらどうぞ～ ↓ 摂氏と華氏の違いのお話 摂氏と華氏ではかなり数値の差があるので、私たち日本人のように摂氏に慣れていると、華氏との違いに戸惑ってしまいます。 摂氏というのはお水の状態を基本にして作られた温度です。0度でお水は氷に、100度で沸騰します。覚え方としては簡単ですよね。 では、華氏はどのような基準でこの数字になったと思われますか？ 華氏は、ドイツの物理学者ファーレンハイト(Fahrenheit)さんが考えたものです。 摂氏がお水の温度を基準にした尺度と考えると、華氏は人間を基準にした尺度と考えられます。 華氏が考え出され
世界で一番ピュアな論理型プログラミング言語Hilbert(ヒルベルト)をRubyで作った. - Qiita
あいさつ こんにちは. 皆さん如何お過ごしでしょうか. 本日の日付を確認致しましたらもう2014年も残り一月半と改めて認識させられ驚いています. こうも時間の流れが早いと死ぬのもすぐですね. 懸命に生きようと思います. さて今回はHilbertという論理型プログラミング言語を作りました. （カジュアルに作ってるように見えますが、割と本気です.） まだまだやるべき事は本当に多くて、飴ちゃんあげるのでコミッター大募集です. （今ならカントリーマームもつけるのでお願いします.） HP: http://hilbert-lang.org/ja/ Github: https://github.com/gogotanaka/Hilbert 前座 世界で一番ピュアで豊かなプログラミング言語 この言語で仮定されているのは恒真（トートロジー）のみです. （厳密に言うと自然演繹も仮定されていますが.） 当初、自
わずか500行のCソースコードで作られたCコンパイラ「CC500」 | ソフトアンテナ
Cコンパイラといえばとてつもなく複雑なプログラムというイメージがあります。ところが、このCコンパイラを(サブセットとはいえ)わずか500行ほどのCのソースコードで実現した「CC500」名付けられたプログラムが公開されています。 ソースコードは可読性を維持するためにつけられた空行やコメントを含めると、実際は750行ほどになるそうですが、それでもこれだけコンパクトなソースコードで実行可能なELFバイナリ(Linux用のバイナリ)を生成できるのは興味深いのではないでしょうか。 以下実際にLinuxでコンパイルしてみました。 自己コンパイルできる このコンパイラはC言語のサブセットで、自分自身のソースコードをコンパイルできるところがおもしろいところです。まず「cc500_1」という実行ファイルを生成します。 gcc cc500.c -o cc500_1 生成された実行ファイル「cc500_1」を使
それでも独自のCSVを書くつもりですか？ | POSTD
一部誤訳の指摘があったため、修正しました！ご迷惑おかけして申し訳ございません！ あなたは自分でCSVを書いてみたいですか？ フィールドはコンマで区切り、行は改行で分けます。簡単ですよね。数行書けば勝手が分かるというものです。 でも、ちょっと待ってください。 フィールド内にコンマがある場合は？ ダブルクォート（”）で、該当のフィールドを囲みましょう。簡単ですね。 では、ダブルクォートで囲めるフィールドに例外はあるのでしょうか？ フィールド内にダブルクォートがある場合は？ フィールド内の各ダブルクォートに対して、ダブルクォートを二重化して適用しましょう。そうすれば元のダブルクォートをエスケープすることができます。 なお、二重化したダブルクォートと空フィールドを囲んでいるダブルクォート（ ...,"",... ）を勘違いしないように気を付けてください。 フィールド内に改行がある場合は？ その場合
プログラミング言語がソフトウェアの品質に与える影響 | スラド デベロッパー
あるプログラミング言語がその仕事に適したものであるかといった議論は論争に発展しがちだ。時には宗教戦争の様相を呈することがあるものの、プログラミング言語がコーディングプロセスだけでなく完成した製品の特性にも影響することは多くの方が同意するところだろう。これについてカリフォルニア大学デイビス校のコンピューターサイエンス研究者らが、プログラミング言語のソフトウェア品質に与える影響(PDF)に関する調査結果を発表した。研究ではGitHubの729プロジェクト(17言語、29,000人が書いた8,000万行のソースコード、150万コミット)を分析。大きなサンプルサイズを利して混合研究法のアプローチをとり、複数の回帰的モデリングやテキスト解析を組み合わせて静的型付けと動的型付け、型付けの強弱といったプログラミング言語の特徴がソフトウェアの品質に与える影響を調べた。異なる手法による調査結果を組み合わせ、
2 段階認証は本当に安全なのか調べてみた | はったりエンジニアの備忘録
このブログを読んでいる人なら Google や AWS の 2 段階認証（マルチファクタ認証）を有効にしていると思います。もしパスワードが漏れてしまってもワンタイムパスワードを入力しないと認証されないので安心です。 有名どころのサービスでは使えるところが増えてきましたが、2 段階認証を有効にしていれば万全なのでしょうか。エンジニアである以上、その仕組みを理解したうえで自信を持って安全と言いたいところ。 というわけで、2 段階認証は本当に安全なのか仕様を紐解きながら調べてみました。 ワンタイムパスワードの仕様 ワンタイムパスワードを生成する仕様は HOTP と TOTP の 2 つがあり、RFC の仕様になっています（TOTP はドラフト段階）。 HOTP (HMAC-Based One-Time Password Algorithm) TOTP (Time-Based One-Time P
日本語で読める IT名文書 三選 - naoyaのはてなダイアリー
pplog の方に書いたけど、別にブログに書けばいいかと思い直したので投稿。Slack でチャットしてて、なんとなくこれ面白いよ URL を共有する機会があったので適当に選んだもの。 伽藍、バザール、ノウアスフィア、おなべ(3) http://www.artonx.org/diary/20120411.html#p01 artonさんがノウアスフィアの開墾についてわかりやすく書いてるもの。原文はちょっと長くて読むのが大変だけど、こっちは分かりやすいし、面白い。OSS の構造がなんかわかったきになる、すごい。 Steve Yegge の Google とプラットフォームに関するぶっちゃけ話を訳した http://anond.hatelabo.jp/20111018190933 (前編) http://anond.hatelabo.jp/20111018192953 (中編) http://a
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ソースコード検索エンジン「NerdyData」で世界1.4億のサイトから実用コードが探せる
インテルが求める「FPGAアプリケーションエンジニア」とはこんな人 - Qiita
The Walt Disney Company
アメリカのプログラマーの言語別年収ｗｗｗｗｗｗｗｗｗ : キニ速
CPUに適度に間違わせることで節電する技術
