プログラミングの作業に何の価値も見出せなくなってしまったd金魚による日記
名前 価格 (月額換算) UnixBench Score コスパ (higher is better) ServersMan@VPS Entry \500 105.9 21.180% Amazon Lightsail $5/month \569 1971.6 346.503% ConoHa VPS(1G) \900 1624.5 180.500% さくらのVPS(512MB) \665 1593 239.399% ServersMan@VPS Entry 2016/12/06 \500 280.3 56.060% Amazon Lightsailって今のところ米国リージョンにしか無いけど、UnixBenchだけの結果を見ればけっこうコスパは良いみたいです。 情報元 via http://qiita.com/SHINGO_T/items/e8f8f665713f09df2c49 http:/
Finite-state machine - Wikipedia
A finite-state machine (FSM) or finite-state automaton (FSA, plural: automata), finite automaton, or simply a state machine, is a mathematical model of computation. It is an abstract machine that can be in exactly one of a finite number of states at any given time. The FSM can change from one state to another in response to some inputs; the change from one state to another is called a transition.[
有限オートマトン - Wikipedia
UMLステートマシン[編集] 統一モデリング言語(UML)には状態機械（ステートマシン）を記述するための豊富な意味論と記法がある。UMLの状態遷移図は従来の有限オートマトンの主な利点を踏襲しつつ、その欠点を克服している。大きな拡張としては、状態の階層化や直交状態の導入があり、動作の記法も拡張されている。ミーリ・マシンもムーア・マシンも記述できる。ミーリ・マシンのように状態だけでなく、イベント（入力）をきっかけとして遷移するようにも書けるし、ムーア・マシンのように遷移ではなく状態と開始動作や終了動作を対応付けることもできる。 SDLステートマシン[編集] 仕様及び記述言語(SDL) はITUの標準規格であり、遷移の際の以下のような動作を表す記号を定義している。 イベント送信 イベント受信 タイマ開始 タイマキャンセル 別の並行動作するステートマシンを開始 判断 SDLには、Abstract
安定性のあるソフトウェアの効率的なコーディング手法について - プログラミングの作業に何の価値も見出せなくなってしまったd金魚による日記
Radium Softwareさんの Pike らは， Sawzall が扱うような種類のデータに限って言えば，そのような「狂ったデータ」を無視してやるだけでシステムの安定性を確保することができると主張する。 そう。これからWriting Secure Code http://www.amazon.co.jp/exec/obidos/ASIN/4891004460/studiokingyo-22 に書いていたことを思い出した。 不正なデータを排除するようにコーディングをするのではなく 正当なデータのみを処理するようにコーディングする との事。 擬似コードにすると if(error == arg) return エラー値; 処理よりは if(success == arg){ 処理 return 成功値; } return エラー値;ということだ。*1 私の書いているライブラリは複雑なデータを
Duff's device - Wikipedia
Duff's Device（ダフスデバイス）とは、C言語での可変長の連続的コピーをループ展開により最適化実装するときに直面する端数の問題を解決するための手法である。 C言語のswitch-case文が持つフォールスルーを利用して、アセンブリ言語で行われる技巧をC言語で実現している。1983年11月、ルーカスフィルムで働いていたトム・ダフが発見した。 背景問題[編集] ループ展開は、ループのための分岐回数を減らす技法である。指定されるループ回数が不明な場合、ループ展開すると回数が合わない場合が出てくるので、ループの途中にジャンプすることで調整する。例えば、8回ぶんのループを展開した場合、指定されたループ回数が8で割り切れないなら、その回数を8で割った剰余のぶんだけ処理を実行する位置にジャンプさせる。 ダフはそのような最適化を検討していてCでの技法を発見した。 本来のバージョン[編集] 連続コ
Coroutine - Wikipedia
This article's use of external links may not follow Wikipedia's policies or guidelines. Please improve this article by removing excessive or inappropriate external links, and converting useful links where appropriate into footnote references. (April 2024) (Learn how and when to remove this message) Coroutines are computer program components that allow execution to be suspended and resumed, general
RubyForge: ruby2c - ruby to c translator: Project Info
ruby2c is a subset of the metaruby project, which aims at rewriting ruby's internals in ruby. ruby2c is the translation module and can automatically translate a method into equivalent C code for a subset of ruby. Very BETA, but making rapid progress. Development Status: 4 - Beta Environment: Console (Text Based) Intended Audience: Developers License: MIT/X Consortium License Natural Language: Eng
ことぶ記: RAD
Link: RAD. RAD is a framework for programming the Arduino physcial computing platform using Ruby. RAD converts Ruby scripts written using a set of Rails-like conventions and helpers into C source code which can be compiled and run on the Arduino microcontroller. It also provides a set of Rake tasks for automating the compilation and upload process. CBCNETでも紹介されてあちこちで話題になっている増田さんのaction-codingでも再確認
Free software tools for formal verification of computer programs
Free software tools for formal verification of computer programs 1 . We should no longer make software as in the sixties or seventies, with a few tests. We are now able to make software without any bugs. This is possible using specialised tools called formal tools . Such tools are able to match a computer program against a specification, i.e. a formal description of the expected behavior of the pr
LLVM/Clang Static Analyzer
The LLVM/Clang static analyzer is a standalone tool that find bugs in C and Objective-C programs. Currently the analyzer is invoked as a command-line tool. It is intended to run in tandem with a build of a project or code base. Here are some important points we ask you to consider when using the static analyzer: This tool is very early in development. There are many planned enhancements to improve
なぜSuhosinを使うのか - hnwの日記
Suhosinプロジェクトのドキュメント「Suhosin - Why ?」を日本語訳してみました。慣れた方の翻訳とはかけ離れた出来だと思います。というのも、日本語として自然な言い回しに変えようとした部分があり、翻訳としては少々問題があるかもしれません。また、僕の英語力にもそもそも問題があるわけですが、文意は99%取れたつもりでいます。 原文も長い文章では無いので、興味を持たれた方は原文も合わせてチェックして、僕のまずい翻訳を指摘して頂ければ助かります。 Suhosinが何かについては廣川さんの記事「【PHPウォッチ】第30回 相次ぐ脆弱性修正リリースとセキュリティ強化PHP「Suhosin」」が詳しいのでそちらをご覧下さい。 補足：SuhosinはPHP本体に対するパッチと、PHPエクステンションとの2つで成り立っており、それぞれ独立しています。（参照：Suhosin Downloads）
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Rubyプログラムの組み方から、Exeファイルの作成まで
Un/nature's ChangeLog - Ruby Meets World
Index of /projects/git-snapshots/sparse/