Fail-Safe C は、メモリ安全性を保証する ANSI C 言語のフルスペックの実装です。 ANSI C 言語の仕様で定められた全てのメモリ操作（キャストや共用体を含む）に対し その安全性を保証し、全ての危険なメモリアクセスを事前に検知し防止します。 Fail-Safe C では、コンパイル時や実行時の様々な最適化手法を組み合わせる ことで、実行時検査のオーバーヘッドの削減を行っています。このコンパイラ を用いることでプログラマは、既存のプログラムを大幅に書き換えたり別の言 語に移植したりすることなく、そのままプログラムを安全に実行することがで きます。 詳細については次の文献もごらん下さい。 Yutaka Oiwa. Implementation of the Memory-safe Full ANSI-C Compiler. ACM SIGPLAN Conference on P
エンドユーザ向けのスクリプト言語：チャミー 概要 我々はエンドユーザ向けのスクリプト言語 チャミー を設計・実装中である。 初心者にとって習得しやすいプログラミング言語はいかにあるべきかを考察しながら、 シンタックス、制御構造、組み込みデータ型、標準ライブラリ、開発環境（エディタ、デバッガ）の 設計を行っている。 チャミー言語は関数型言語の利点を積極的に取り込んだ手続き型言語である。 チャミーのIDE(統合開発環境)は、 日本語化された構造エディタ、実行トレースの可視化表示などの機能を持ち、 プログラミングに不慣れなエンドユーザによるプログラム開発を支援する。 チャミーはファイル処理等の現実世界のデータ処理に用いることができ、 それを支援する仮想フォルダ、実行時エラーリカバリと呼ぶ機構を持っている。 チャミーの特徴 チャミー言語は以下の特徴を持っている。 コマンド列によるデータフロー表現
ヒューマンエラー学 ヒューマンエラーは、なぜ起こる？どう防ぐ？ 産業技術総合研究所 デジタルヒューマン研究センター研究員 中田 亨 toru-nakata@aist.go.jp 2006年12月8日更新 (2005年5月27日書き始め) おみやげ (1)このページをダイジェストにしたパワーポイント (2)ダイジェスト版「ヒューマンエラー抑止 医療版テキスト」(PDF) (3)ダイジェスト版 安全化技術の展望(PDF) ヒューマンエラーとは？ ヒューマンエラーとは、人間の過誤（ミス）のことです。人為ミスとも呼ばれます。不本意な結果を生み出す行為や、不本意な結果を防ぐことに失敗することです。 特に、安全工学や人間工学では、事故原因となる作業員やユーザの過失を指します。 下手や無駄だけど事故にならない操作や、機械設計者の設計ミス（＝操作者以外の人的過誤）は、普通はヒューマンエラーには含めませ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く