Viterbi アルゴリズムのソースプログラム
プログラム圧縮による ソースコード流用の検出
... 開発の外注などにより OSSのソースコードが混入し，ライセ ンス違反を犯してしまう事例がある． SCEIが開発したPSゲーム「ICO」のライブラリ [1] Microsoftが外注したWindows7へのUpgrade支援ツール [2] ...
21
フローチャートの書き方 プログラムの開始と終わり 処理の流れの表記 ( アルゴリズム ) 逐次型 ( 直線型 ) 分岐型 ( 開始 ) 処理 1 条件 条件 処理 2 の処理 の処理 の処理 ( 終了 ) 処理 3 プログラムや人間の判断などのアルゴリズムは基本的に 逐次型 分岐型 ループ型の組み合
... 戻る B/C サブルーチンでフローチャートをすっきりせたプログラム メインルーチン サブルーチン 1 サブルーチン 2 フローチャートが複雑になってきたら、 サブルーチンを使いましょう。これは、 ...
11
モンテカルロ法を用いたボードゲームの対戦プログラム : 双対グラフ上の高速プレイアウト手法の提案 (計算理論とアルゴリズムの新潮流)
... 勝敗判定は，セルとセルの間を辿り盤面のどこに 行き着くかを調べる手法をとっている．図 9 は，空セ ルがなくなりゲームが終了した盤面である．盤面を 左端から見て，左側が黒，右側が白となるようにセ ルとセルの間を縫うように進む．進み続けると，盤 面の下もしくは上に抜ける．このとき，下に抜けた ときは黒が勝利しており，上に抜けたときは白が勝 利している． ...
6
JAIST Repository: オープンソースソフトウェアの開発スタイルとその変遷 (オープンソースソフトウェア)
... SourceForge 4） は，オープンソースソフトウェアの開 発に必要な環境を，開発者に無償で提供するサービス であり，オープンソースソフトウェアのコミュニティを 支援する OSDN （Open Source Development Network）に よって運営されている．SourceForge では，匿名 ftp サー バ，WWW サーバ，CVS ...
5
スパース行列のガウス消去における最適ピボッテング・アルゴリズムとそのフォトランプログラム: University of the Ryukyus Repository
... Title スパース行列のガウス消去における最適ピボッテング・ アルゴリズムとそのフォトランプログラム Author(s) 喜屋武, 盛基; 白川, 功; 尾崎, 弘 Citation 琉球大学理工学部紀要. 工学篇 = Bulletin of Science & Engineering Division, University of the Ryukyus. ...
15
グラフ探索アルゴリズムの形式的検証とモデル検査への応用について (プログラム変換と記号・数式処理)
... $\Rightarrow|\mathrm{s}_{-\mathrm{p}}\mathrm{A}\mathrm{T}\mathrm{H}\mathrm{s}\mathrm{o}\llcorner \mathrm{N}\iota_{gfss}eb$ goal ( $xv$ goal) ず、 よって (仮定 1) の条件部分を消すことができな いためである。 そこで \sim 升々は $\vdash$ ...
13
ソースメータ / ソース メジャー ユニット (SMU) 製品カタログ
... ● 0.1fAの電流測定感度とトライアキシャル・コネクタにより、ピコアンペア以下レベルの微小電流測定も高精度に測定可能（2635B/2636B型） ● 最大3kVまたは50Aパルスのハイパワー出力に対応（2650Aシリーズ） ● 1MS/s、 18ビットのデジタイザを2つ搭載し、電圧・電流を同時に高速測定（2650Aシリーズ） ● ...
8
JAIST Repository: ＬＥＤＡ：複雑なアルゴリズムも簡単にプログラム化できる魔法のツール
... URL http://hdl.handle.net/10119/4567 Rights 社団法人 情報処理学会, 浅野哲夫,小保方幸次,Kurt Mehlhorn, 情報処理学会論文誌, 41(7), 2000, 854- 861. ここに掲載した著作物の利用に関する注意: 本 著作物の著作権は（社）情報処理学会に帰属します。 本著作物は著作権者である情報処理学会の許可のもと ...
9
移動ビザンチン合意アルゴリズムのための高信頼性伝送アルゴリズム (計算理論とアルゴリズムの新潮流)
... であった場合は False を，それ以外の場合は True をとる．そして，最後のラウンドでは accept $=True$ であるプロセスは，コーディネータの値を新たに合 意値とする．このとき，このラウンドで故障から復 帰したプロセスは他のプロセスから情報を受け取る ことでデータの復旧を行う．コーディネータが常に 故障していると合意を達成できないが，故障をしな ...
8
PBLにおけるソースコード引き継ぎ支援 ～日本語と英語 を交えた識別子命名によるソースコード可読性向上の試み～
... プログラムの方が平均して短い時間で回答を終えて いる．更に， B のプログラムは，被験者全員が学部 2 年次に一度学んだことのあるアルゴリズムを用いて いる．これらのことから，今回実験で用いた 2 つの プログラムの間に難易度の差があったと考えられる． ...
12
部分語相関ルール発見のための高速アルゴリズム (アルゴリズムと計算の理論)
... 表 1 に , 実際のテキストデータにおける枝刈りの効果を示す. データは , $\mathrm{G}\mathrm{t}^{\backslash }.\mathrm{I}\downarrow$ ] $3i1.\mathrm{l}\mathrm{l}\mathrm{k}$ データベース のシグナル領域アミノ酸配列データを用いた. 495 個の正例と 7330 ...
8
オープンソースライセンス理解の傾向
... ✔SFLCが、米国で2007年ごろから活発にGPL違反で訴訟を行っている事 ✔開発したJavaアプリから、GNUプログラムをJNIで呼び出した場合のソース開示要 ✔GPLv2のOSSのソースコードをWebサイトに公開の仕方 OSSの機能を利用するプログラムを自分で作製してもOSSと同じライセ ...
23
目次 目次... 2 はじめに... 3 注意事項... 3 本書の対象読者 ソースコード検査の概要 ソースコード検査とは ソースコード検査のタイプと注意事項 オープンソースの脆弱性検査ツールの紹介 脆弱性検
... 6 （２）「統合開発環境組込み型」 「統合開発環境組込み型」は、アプリケーションを開発する環境にソースコード検 査のツールをプラグインとして組み込んで検査するタイプである（図 4）。開発環境に 組み込んでいるため、作成したソースコードに対して、逐次問題の有無を確認し、す ぐに修正することができる。そのため、一般的に、「実装」工程中に利用されることが ...
25
文脈を考慮したJavaプログラムの参照先解析に関する一考察 (アルゴリズムと計算機科学の数理的基盤とその応用)
... SObjectSens では解析にパラメータを与える事によって, 解析の正確さと計算量を調節できる枠組みに なっている . そのため計算鼠の考察は容易ではないが , ここでは最も単純な場合について考察する . 文脈依存解析はメソッドを文脈で区別するため, その文脈の数だけメソッドを複製した後 , 文脈非依存解 析すると考える事ができる. SObjectSens ...
7
遺伝的アルゴリズムとSRGM に基づくオープンソースソフトウェアの最適バージョンアップ時期の推定に関する一考察(モデリングと最適化の理論)
... $\mathrm{G}\mathrm{A}$ では各個体を染色体によって特徴づける. 染色体は複数個の遺伝子の集まりで構成される . 生物は, 特定の 個数の染色体の集まりによって個体が決定されるが, GA では 1 つの染色体で個体を表現することが多い . また, 複数の個体間の相互協力によって解を探索するため , ...
9
「アルゴリズムとプログラム：基本的な命令文」
... ３ 単元指導目標（到達目標） ・アルゴリズムの重要性を実感し、アルゴリズムの記述に積極的に取り組む。 [関心・意欲・態度] ・問題文に合わせてアルゴリズムをフローチャートで記述できる。 [思考・判断・表現][技能] ・プログラミングの実習に積極的に取り組む。 [関心・意欲・態度] ・命令語や構文を理解しながらプログラミングができる。 [知識・理解] ...
5
点ソースモデルに関する対数ポテンシャル逆問題に対する窓Fourier変換の応用(数値計算アルゴリズムの研究)
... ) の評価に用いる $\gamma^{(n-1)}$ としては、最終的に収束した推 定値を用いた。 図 2 に近似解の収束比の真値と式 (16) による評価値のパラメータ $\lambda$ に対する依 存性を示す。 図 2 より、近似解の収束比を最適にする $\lambda$ の値が存在することが確認できる。 また 式 (16) ...
6
JAIST Repository: ソースプログラムの差分解析と波及解析に基づく開発状況の把握法に関する研究
... 汚染マーク機構とは、依存関係のある中間成果物の状態間に発生する矛盾の発生可能性 を検出することで、他の開発者の作業の影響を通知することを目的とした機構である。汚 染マークは、変更要求の承認を受けることなくチェックアウトして作業を開始した中間成 果物に対してつけられる。変更要求の承認を受けて、この汚染マークを解除しなければ、 ...
51
JAIST Repository: ソースプログラムの差分解析と波及解析に基づく開発状況の把握法に関する研究
... java, プログラム解析 , 状況把握 . 1 本研究の背景と目的 ソフトウエア開発保守現場では、迅速な開発のために並行に作業を進めることが求めら れており、競合をいち早く察知することは重要である。開発者自身に関連する競合が発生 している状況を把握できれば、効率の良い作業が期待できる。しかしながら、開発者が、 ...
4
のプログラムはそのままでは 人間は理解できても コンピュータは理解できません 皆さんが作るプログラムはソースプログラム ( ソースファイル ) と呼ばれます C 言語では *.c という形式にファイルで作成します そのソースプログラムをコンピュータが理解できるようなデータ形式に変換することをコンパイ
... 有村秀孝 のプログラムはそのままでは、人間は理解できても、コンピュータは理解できません。皆さんが作るプログ ...必要が無い標準的な関数）のオブジェクトファイル（マシン語の形式に変換されている）を皆さんが作った プログラムに組み込むことです。以上のことをいかにまとめます。 ...
16