豪研究所、カーネルの安全性を数学的に検証する手法を開発
オーストラリアの民間研究機関Information and Communications Technology Centre of Excellence（NICTA）の研究者らは現地時間8月12日、ミッションクリティカルなシステム向けの中核ソフトウェアが安全であることを検証する方法を発表した。 研究者らによると、この方法により、飛行機や自動車におけるシステムの安全性とセキュリティを管理するソフトウェアが、エラーを含む大型クラスを持たないことを数学的に検証できるという。 NICTAは、汎用OSカーネルに対する、マシンチェックによる初のフォーマル検証が完了したと発表した。このカーネルは、「Secure Embedded L4」（seL4）マイクロカーネルと呼ばれる。 ケンブリッジ大学のコンピュータ研究所で演算論理学の教授を務めるLawrence Paulson氏は、英国時間8月13日にZDNe
学生が開発したコードがRubyの本体に---セキュリティ＆プログラミングキャンプ2009を開催
「学生が開発したコードが，Ruby本体に取り込まれ，Linuxカーネル・メーリング・リストにも投稿された」（プログラミングコース 主査 よしおかひろたか氏）---。経済産業省（経産省）などは2009年8月12日から16日まで，学生が合宿形式でIT技術を学ぶ「セキュリティ＆プログラミングキャンプ2009」を開催した。 「セキュリティ＆プログラミングキャンプ2009」は，経産省が独立行政法人 情報処理推進機構（IPA），財団法人 日本情報処理開発協会（JIPDEC），NPO 日本ネットワークセキュリティ協会と共催しているイベント。2004年に「セキュリティキャンプ」として始まり，2008年からプログラミングコースを新設し，「セキュリティ＆プログラミングキャンプ」になった。今年は，書類選考で選ばれた中学生から大学生までの61名が参加した。 このキャンプの大きな特徴は，講師全員が第一線で活躍する著
ウノウラボ Unoh Labs: WEBアプリのテストに便利なFirefoxのアドオン
こんにちは！ のりPと同い年ですが、クラブ通いは●年前に卒業しました やまもと＠テスト番長です。 早いもので、もうお盆の帰省シーズンですね。 今年の夏は世間の騒がしい日々が続いておりますが、みなさんお変わりございませんでしょうか。 さて、Firefoxといえば豊富なアドオンですが、今回はテスター目線で WEBアプリケーションのテストに便利なFirefoxアドオンを並べてみたいと思います。 Firesizer ブラウザの画面サイズを整えることが出来ます。 InFormEnter 準備しておいた値を入力フォームにセットしてくれます。 MeasureIt 画面上のピクセルサイズを測ることが出来ます。 Regular Expressions Tester 正規表現での検索がその場で出来ます。 FireShot キャプチャにメモを書き込んだり出来ます。 Web Developer F
C言語〜ゲームプログラミングの館〜
※ 更新履歴 ※ 2017/11/03 ・sp.8章追加 2017/10/11 ・配布しているプロジェクトをVisualStudio2017に更新(それにまつわる説明も更新) 2015/09/12 ・s.3章 Androidのようなボタンの作り方(C++) 追加 2013/09/02 ・VisualC++2012のプロジェクトを追加 2013/02/23 ・d3.5章追加 2013/02/20 ・d3.1章追加 ・d3.2章追加 ・d3.3章追加 ・d3.4章追加 2013/01/19 ・sp3章追加 ・sp4章追加 ・sp5章追加 ・sp6章追加 ・sp7章追加 2012/06/23 ・3.14章追加 2012/06/16 ・sp1節追加 ・sp2節追加 2012/02/11 ・d6節追加 2011/11/10 ・h11章追加 2011/10/31 ・s1章追加 ・s2章追加 2011/
とある新入りプログラマーの一幕
上司「よーし、勉強会はじめるぞー」 上司「今日はこの問題を解いてみて」 部下「了解いたしましたでございます( ･`ω･´)」 問題） f1()とf2()の２つの関数について、プログラムを作成しそれぞれの処理時間を求めよ。 ただし、時間計測にはTimer()を使用すること。（補足：Timer()の精度は10ms） －－－－５分後 部下「できました！(*ﾟ∀ﾟ)=3ﾑｯﾊｰ 」 上司「お。早いなｗ」 解答） main() { int d1,d2; d1 = Timer(); f1() ; d1 = Timer() - d1; d2 = Timer(); f2() ; d2 = Timer() - d2; printf("f1(): %d ms\n",d1); printf("f2(): %d ms\n",d2); } 出力 f1(): 0 ms f2(): 0 ms 結論 f1,f2ともに処理
レーベンシュタイン距離を使って電話でのイライラを解決する - kenmazの日記
電話で自分の苗字を伝えようとしても、電話相手に正しく伝わらないことがある。私が「松前です」と告げても、電話相手は「はい、増前さまですね」と間違って復唱しやがることがある。いずれ「夏前」とか「安前」とか「松苗」とか、いろいろ間違われるようになるかもしれない。このような不運な事故を回避するには、事前に間違えられやすい苗字を洗い出しておいて、ばっちり発音を練習しておく必要がある。 さて「松前」と似ている苗字を洗い出すにはどうすればよいだろうか。そんなとき使えそうなのが「レーベンシュタイン距離」である。 「レーベンシュタイン距離」とは、ある単語を、別の単語に書き換えるために必要な、文字の挿入／削除／置換操作の回数のことである。レーベンシュタイン距離を使えば、ある単語同士がどれくらい似ているか、ということが分かる。 レーベンシュタイン距離 http://ja.wikipedia.org/wiki/%
はてなのようなキーワードリンクをRubyで付与する実例 - グニャラくんのグニャグニャ備忘録@はてな
hrjn: はてなとかニコニコ大百科のキーワードリンクってどうやってんのかなぁ。正規表現だと死んでしまうので、専用のパーサ作ったりしてんのかな。 http://twitter.com/hrjn/status/2926407314 ニコニコ大百科では、キーワードリンク専用のRubyモジュールを書いています。「SENNA」というキーワードがあったら、「senna」とか「ＳＥＮＮＡ」とかにリンクさせたりとかもできます。 Senna 1.1.4 + Ruby 1.8.6で、UTF-8専用ですが、使いたい人はどぞー。あと、いつもどおりいい加減な書き方なので気をつけて。とりあえず、以下のtest.rb, wordsym.rb, extconf.rb, sen_np_api.cをどこかに放りこんで ruby extconf.rb make sudo make install ruby test.rb 的
データベースパフォーマンスに関する、僕が知りうる限り最高の教科書 - レベルエンター山本大のブログ
データベースの醍醐味は、パフォーマンスチューニングにあります。 チューニングによっては、同じ処理でも1時間掛かる場合もあれば、 1秒で終わるということもあり得る世界です。 僕はDBの魅力に取り付かれた者の一人です。 DBという技術の奥深さが気に入っています。 DBを極めると、どこの現場に行っても絶対に必要とされます。 また、どこの現場に行っても正解を導く方程式は一緒なので応用が利くのです。 しかし、その基本原理を体系的に学べる手段はあまりありません。 OracleMasterやMCDBAといった資格試験でも学べることは限られていて あとはWebで調べるなりマニュアルを読むなりするしかありませんでした。 とくに肝であるパフォーマンスチューニングについては、 経験則でチューニングしている部分も多いです。 Oracle、SQLServer、MySQLと色々なDBのチューニングをしてきましたが、
Big Sky :: ReverseHttpで誰よりも速く「はてなブックマーク」に反応するツール書いた。
ReverseHttp面白いですね。 ReverseHttp Tunnel HTTP over HTTP, in a structured, controllable, securable way. Let programs claim part of URL space, and serve HTTP, all by using an ordinary HTTP client library. http://www.reversehttp.net/ ただ勘違いされやすいのが「何がReverseなの」という部分。通常ブラウザからリクエストが送信され、それに対する応答がサーバから返されます。ReverseHttpはサーバで何かアクションが起きた場合に、ブラウザ側がその通知を受信する...なんて事が出来るプロトコルです。仕組みはcometというlong pollに似た仕組みで、サイトのdemo
TwitterのbotをOAuthに対応させる - しばそんノート
Twitterの認証方式について Twitterの認証方式にはOAuthとBasic認証の二通りの仕組みがあります。 Twitter API Wiki / Authentication Basic認証はお手軽なので、世に存在するTwitter APIを利用する一般的なクライアントは、大抵がこちらの方法を使っているのではないかと思います。 ですが、実はこのBasic認証はセキュリティ上の理由から、将来的に非推奨になることが予告されています。 Twitter API Wiki / OAuth FAQ 既にTwitter API Wikiでは「今後作成するクライアントはOAuthを利用することを強く推奨する」と表明されており、それに応じてOAuthを使うクライアントも増えてきています。 …が、現状Basic認証を利用しているクライアントが既に大量に存在していることを考えると、今日明日でBasic
プログラミング言語に関する質問です。 その言語で「バイブル」と呼ばれる書籍を教えてください。…
プログラミング言語に関する質問です。 その言語で「バイブル」と呼ばれる書籍を教えてください。 知りたいのは主に以下の言語です（が、他にもあれば教えてください）。 Java JavaScript Ruby C C++ Perl PHP Python C# Visual Basic SQL ActionScript Flex HTML CSS XML 実はブログにこの趣旨のエントリを書いたのですが、中途半端になり、どうにも完成しそうにありません。 せっかくなのでちゃんとまとめて公開したいと思います。皆様の力をお貸しください。 http://d.hatena.ne.jp/asakichy/20090503/1241304285 過去に「原典」に関する質問（http://q.hatena.ne.jp/1209228190）がありましたが、本質問では特にそのこだわりはなく、逆に、「一番メジャーな本」
ディレクトリの中にある大量の小さなファイルを高速に読み込む方法 - 射撃しつつ前転 改
ディレクトリの中にある大量のファイルを高速に読み込む方法が知りたかったので、実験してみた。想定しているシチュエーションは、一つ一つのファイルは数KB程度だが数が多い、という場合である。適当な順番でアクセスすると、ランダムアクセスになってしまいとても時間がかかる。個々のファイルを読み込む順番はどうでも良く、すべてのファイルを処理することさえできればいいので、原理的にはシーケンシャルアクセスで処理できてしかるべきである。 まず、ファイルシステムについて。HDDやSSDなどのハードウェアにアクセスする際には、ファイル名などという概念はもちろん存在しない。ファイル名と実際のディスク上の対応を管理するのがファイルシステムの主な役割である。ファイルシステムは、ファイル名からそのファイルに対応するブロック番号（メモリアドレスみたいなもんだな）を調べて、そのブロック番号を指定してHDDやSSDにアクセスす
Latest topics > 設定を簡単に変更できるようにすること、を必ずしも重視しませんよという話 - outsider reflex
Latest topics > 設定を簡単に変更できるようにすること、を必ずしも重視しませんよという話 宣伝。日経LinuxにてLinuxの基礎？を紹介する漫画「シス管系女子」を連載させていただいています。 以下の特設サイトにて、単行本まんがでわかるLinux シス管系女子の試し読みが可能！ « 現在のタブを閉じた後のフォーカス移動を制御するオプション（A new option to control focus of tabs when the current tab is closed is required.） Main 「○○年生きてきて、こんな事も知らないのか」と言われると傷付く » 設定を簡単に変更できるようにすること、を必ずしも重視しませんよという話 - Jul 24, 2009 掲示板で書いた事を改めてここにもまとめてみる。 ツリー型タブの設定ダイアログを「ツール」メニューな
プログラミング言語を身につける唯一の方法 - ぼくはまちちゃん！
こんにちはこんにちは！！ プログラミング言語とかマスターしてると、なんかかっこいい感じですよね！ 就職とか転職にもバッチリ有利そうだし…！ だけど難しいよね、言語とか…。 入門書とかどれだけ買ってみても毎回 Hello world どまりだし…。 なんでなんだろう？ なんでうまく覚えることができないんだろうね。 世の中には、ちゃんとプログラミングできる人がたくさんいるのに…！ うーん。 たぶんこれかな… なにか作りたいものがある または なにかを作る必要がある なんて状況以外で、マトモにプログラミング言語を習得してる人って ぼくほとんど見たことないんだけど、みなさんはどうでしょう…！ たしかに、コンピュータを教えてくれる学校に通って、ちゃんと教えてもらえればJavaだってなんだってしっかりと、その時だけは身に付くんだけど、 でもそういうのって、ほんとに「その時だけ」なんだよね…。ほとんどの
カッコをつけたコードはカッコわるいのか論争：プログラマで、生きている：エンジニアライフ
プログラマならC/C++を知らなくても、 if (buffer == null) {return;} と if (buffer == null) return; は同じ動作をするということはお分かりかと思います。 正式な言い方があるのか分かりませんが、「省略が許可されている記述」というやつです。 わたしは「省略が許可されてても省略しない派」（←どういう派閥？）なので、常にカッコでくるむのですが、わたしのコードを読んだ人が「これってこういう書き方していいんだよ」とご丁寧にもカッコをはずしてしまったことがありました。 「それくらい知ってるんですけど」 「なら、なんでわざわざカッコつけてんの？」 「どっちでもいいんならカッコをつけた方が安全じゃないですか」 「どういうこと？」 当時、わたしは結合テストで出てきたバグの原因調査をよくやらされていた（他の連中はテストで出たバグをつぶすのに忙しかったか
ビギナー Web プログラマに一皮むけるためにやってほしい5つのこと - イトウ アスカ blog
1. Web サーバの設定方法を覚えてほしい そんなに深くじゃなくてもいいんです。Apache でも IIS でも、なんだったら AN HTTPD だっていい（というか AN HTTPD って学習用にはかなりおすすめです）。それでどこにファイルを置くと外部からアクセスできちゃうのかということを知ってほしい。直リンクで様々なファイルを叩いてほしい。 「どんなところで稼働するのか」ということをほとんど学ばずに Web アプリケーションを書いている人って意外と多くて、そういう人が顧客情報がぎっしりつまったデータファイルを平気で外部からアクセス可能なところに置いたりするんですよね。 2. HTTP クライアントを作ってみてほしい とにかく Web プログラム自身が吐き出した HTML を善意に解釈するブラウザ（IE や Firefox）からのみアクセスされるものだと思い込んでいる Web プログラ
無料でFlashの制作環境を構築 FlashDevelopとFlex SDKのインストール | ClockMaker Blog
FlashDevelop(フラッシュ・デベロップ)というActionScriptのエディターが非常に優秀で、これとAdobeがオープンソースで提供しているFlex SDKがあれば、お手軽かつ無料でFlashを作ることができます。 FlashDevelopはソフトの軽さと強力なコードヒント機能によってプロのFlasherから熱烈な支持を受けているエディターです。まずはコードヒント機能がどのくらい優れているか分かる90秒のライブコーディングビデオを用意しました。 FlashDevelop Code Hint Movie from clockmaker on Vimeo. コードの補間によってキータイプの量を劇的に減らせ、自動的に整形されるため見通しの良いコードが仕上がるのがおわかりになるかと思います。 では、そんな便利で高機能なFlashDevelopのインストール方法を紹介します。できる限り
コードポケット - アプリケーションをささっと作るコツ - （ひ）メモ
誰に教えられたのでもないのですが、ぼくは冬眠前のリスのようにコード片を溜め込んでいます。 コード片とは、ライブラリにするほどまとまった大きさではない、数行〜十数行のコードのことで、溜め込んだコード片は、アプリケーションやツールを作るときに使っています。 例えば「Perlでメール送るのどう書くんだっけかな」とか「Pythonでファイル開いて全部読むのどう書くんだっけかな」とかというときに、溜め込んだ中からコード片をさっと取り出してコピペした後、なじむようにちょっと修正して使っています。 コードポケット コードを溜め込んでいるディレクトリをぼくは「コードポケット」と名付けていて、コード片を取り出すことを「ポケットからコードを取り出す」と呼んでいます。先日、知り合いが似たようなことを実践していて、その人は「コードスケッチ」と呼んでました。いい名前ですね。 ぼくの場合、コードポケットは ~/lan
ひどすぎるネーミング - idesaku blog
UKTKKNSHINF こういう名前の変数が出てくるのだが、意味わかる？ 答え：受付禁止情報 今読んでいるPL/SQLコードは本当にひどい出来なのだが、その中でもネーミングが群を抜いてひどすぎてむしろ笑えてくるので、ここでさらしてみたい。 先ほどの例でわかると思うが、悪しきネーミング習慣である子音母音抜きの嵐である。変数名だろうが関数名だろうがこのルールで命名されているので、暗号文を読んでいるような気分になる。 他には、例えばこんなのがある。 SKSI 作成 HNKN 変換 KKT 確定 CHKN 中間 DTM Datetime DTA Data こうして見ると、ktkrやwktkとなんら違いがない。 "作成"のような、比較的簡単に対応する英単語が見つかるものまで日本語子音母音抜きで書くという徹底ぶり。でも"情報"はINFだったりする統一感のなさ。そしてこれらが単独ならまだしも、複合して出
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
オープンソースソフトウェアの育て方