人工知能学会誌 第25巻 第1号 (2010年1月) 特集「最近のSAT技術の発展」 特集「最近のSAT技術の発展」にあたって 井上 克巳 (国立情報学研究所) 田村 直之 (神戸大学) 命題論理の充足可能性判定問題(SAT)は，与えられた命題論理式の充足可能性を 判定する問題であり，最初にNP完全性が証明された問題でもある． SATは人工知能および計算機工学における最も基本的な問題として， 論理合成，システム検証，プランニング問題，スケジューリング問題， 制約充足問題，制約最適化問題，定理証明など，さまざまな分野に応用されている． 近年，106--107 個の変数をもつ大規模なSATインスタンス(SAT問題)を， 非常に高速に解くことが可能なSATソルバーが実現され，これらの分野への実用 的応用が急速に拡大している． このように，与えられた問題を論理式で表現しSATソルバーを用いて解くこ

: はじめに 数値計算入門 その２ 〜誤差・精度・収束性〜 加川友己 Date: 2008年5月9日 はじめに 数値計算における誤差（一般論） 用語の定義 計算機の浮動小数点システムによる誤差 丸め誤差 浮動小数点システムの精度 情報落ち（誤差） 桁落ち（誤差） アルゴリズムによる誤差：打切り誤差 最適な刻み幅 前進差分近似を用いた場合 中心差分近似を用いた場合 数値計算における誤差（ケース・スタディ） 問題設定：常微分方程式の初期値問題 考慮すべき誤差 局所誤差と累積誤差 オイラー法における誤差 収束性 数値計算例 誤差と収束性 厳密解がわからないときの誤差の見積もり おわりに この文書について... ykagawa 平成20年7月29日

ソフトウェア開発の落し穴2013-09-01ソフト開発はプログラムの文法だけを知っていてもうまくいきません。 ソフトウェアのよい開発の仕方について考えます。 ソフトウェア開発はよくトラブルに巻き込まれます。納期がずるずる延びたり、 プログラムがスパゲッティ状態になったり、非常に使いにくいものが出来てき たり。こうした問題をどう解決するかについては今までに多くの人が研究して きました。そして「よいソフトウェアを作るには」という方法論について一定 の成果が上がっているにも関らず、ソフトウェア開発に携わる実務者にまでは 浸透していないのが実状です。 近年では、「ソフトウェア開発方法論」あるいは「ソフトウェア工学」という 名前でこうした成果を本にしたものを数多く見かけるようになりました。これ はこれで望ましいことです。しかし、こうした本を読んだだけでその精神をよ く理解しないまま適用するとかえって

前回は気持ち良かった・・・。相当気持ちよくて大満足だったのですが、やはりアナルだけが気がかりなのです。 あの時、アナルファックする前に、色々と私の股間を酷使してしまったバチが当たったのだろう、挿れる前になんとなく違和感を Read More

目指せプログラマー！にようこそ。 当サイトはこちらに引っ越しました。 お手数をおかけしますが、上記サイトへご移動くださいませ。

名無し＠沢村こと、肥し＠ほんたまの趣味のﾍﾟｰｼﾞ ↓魅力あるｺﾝﾃﾝﾂの数々 ｿﾌﾄｳｪｱ　『肥桶』　(C言語似の高級言語によるWindowsｿﾌﾄ開発環境)　のﾀﾞｳﾝﾛｰﾄﾞ ｿﾌﾄｳｪｱ　『Pancyan』　(ﾛｰﾌﾟﾚ制作ｿﾌﾄ&ﾛｰﾌﾟﾚ実行ｿﾌﾄ)　のﾀﾞｳﾝﾛｰﾄﾞ ｱｽｷｰｱｰﾄｷﾞｬﾗﾘｰ　(おまけ) ﾏｲ 思い出のﾄﾞﾗﾏ　(おまけ) 掲示板　(新設！)

BREW C++ ライブラリ & GUI フレームワーク & XML ミドルウェア / 携帯 Java アプリ圧縮ツール : 株式会社 ソフィア・クレイドル English FAQ BREW 入門 BREW 入門 - 3 分で分かる BREW 技術解説 - BREW 基本情報のまとめです。 BREW とは BREW の歴史、背景、特長、課題と解決策、関連リンク集です。 BREW 開発手順 BREW アプリの開発に役立つ情報をまとめました。 BREW プログラミング入門 重要な BREW API をピックアップしたプログラミング方法の基本解説です。 応用 BREW C++ 開発の手順 BREW アプリを C++ 言語で開発する手順と注意事項です。 BREW C++ 開発の実際 C++ 言語で BREW アプリ を本格的に開発する時に役立つテクニック集です。 ヒープと文字列クラスの実装 実用的