N-016 サイバーセキュリティ問題の分散型多元制約最適化によるモデル化と解法(N分野:教育・人文科学,一般論文)
スポンサーリンク
概要
- 論文の詳細を見る
- FIT(電子情報通信学会・情報処理学会)運営委員会の論文
- 2013-08-20
著者
-
井上 克巳
国立情報学研究所
-
岡田 仁志
国立情報学研究所
-
沖本 天太
新領域融合研究センター(TRIC)
-
丸山 宏
総合研究大学院大学:統計数理研究所
-
生貝 直人
新領域融合研究センター
-
リベイロ トニー
総合研究大学院大学
-
井上 克巳
国立情報学研究所:総合研究大学院大学
関連論文
- アブダクションとインダクション(論理に基づく推論研究の動向)
- 解集合プログラミング(論理に基づく推論研究の動向)
- SATソルバーの基礎(最近のSAT技術の発展)
- 特集「最近のSAT技術の発展」にあたって(最近のSAT技術の発展)
- 特集「最近のSAT技術の発展」にあたって
- 特集「論理に基づく推論研究の動向」にあたって
- 電子マネーとは--そのしくみと普及の背景 (特集 電子マネーをひも解く)
- 電子マネー編 ナレッジ&市場動向 電子マネーの最新動向と将来性--1億枚を超えた電子マネーがSCを変える (特集 SCのIT戦略最前線--電子マネー・ネット通販・モバイル販促への挑戦)
- 地域通貨型電子マネーに関する考察 : 顔のみえるネットワーク社会の可能性
- 競合状況における投機的計算の導入に関する考察(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
- 個人データ保護の立法政策
- 電子マネーの非計量的費用効果分析
- アブダクションとインダクション
- SOLにおけるタブ口証明反転法とその応用(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
- 極小限定モデルの解集合プログラミングによる計算(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
- 複数のSATソルバを用いたジョブショップスケジューリング問題の解法(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
- SATソルバの並列実行に関する一考察(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- 優先的解集合の論理プログラミングによる計算(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- [招待論文]結論発見手続きとその応用(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- 一般節理論における解釈からの学習に関する一考察(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
- 電子マネーのデータプロテクション--匿名購買の自由と購買履歴の活用の調和
- 地上デジタル放送の移行に向けた支援政策に関する考察(サービス管理,情報通信マネジメント,一般)
- BS-8-1 情報セキュリティ対策サンプル規程集の利用に関する考察(BS-8. セキュア、スケーラブルでサステイナブルなキャンパス情報システム,シンポジウムセッション)
- 地上デジタル放送における新たなデジタル・ディバイドの可能性(プライバシー関連,一般)
- 新規周波数割当における割当手法等の比較について : 3G 1.7GHz帯、2GHz帯およびWiMAX 2.5GHz帯での周波数割当(倫理・教育関係,一般)
- デジタル著作権管理技術の現状と今後の展開 : デジタル社会のガバナンス 技術と社会の調和を目指して(知的財産関係,一般)
- モバイルマルチメディアと社会 : 利便性と安心感のバランスを考える(パネル「MoMuCの目指す道〜今までの10年とこれからの10年〜」,4Gに向けたモバイルマルチメディア,モバイル通信品質,モバイルコンテンツマネジメント,モバイルセキュリティ)
- 交通ICカードの拡大と行動情報の活用 (特集:交通事業におけるICカードの新展開)
- モバイルユーザの利用意向調査と次世代ワークスタイルの考察(次世代ワークスタイル,次世代ワークスタイル論文)
- 地域情報制度の意義とその展望について
- 電子商取引の成長決定要因
- 航空マイレージサービスをコアとした環境マネー
- 金融取引の電子化が成功を収める要因(諸外国の事例など) (特集 中小企業向け審査業務の効率化と融資戦略--電子取引による今後の融資戦略) -- (電子取引と銀行取引)
- 地域通貨の電子情報化および交換に関する研究 : ユビキタス時代の価値情報交換
- サイバー社会におけるコマース&マネーのインタプライズ考察 : 高度情報共有過程としての遠隔取引,遠隔講義,遠隔医療
- 解集合プログラミング
- 論理プログラミングから解集合プログラミングへ(論理と推論技術の展開)
- CF帰納法の効率的実装とパスウェイ推論への応用 (特集「知識発見の諸科学への応用」および一般)
- PrologからJavaへのトランスレータ処理系とその応用
- CF帰納法の理論的再構築について(「自動化:推論,発見,学習,データマイニング」及び一般)
- 極小限定を用いた帰納推論
- 効率的なSATプランニングとSATスケジューリングのための補題再利用(「自動化:推論,発見,学習,データマイニング」及び一般)
- ペナルティ関数法によるSAWフィルタのロバスト最適設計
- 投機的に計算するマルチエージェントシステムにおける実時間意思決定に関する考察(セッション : 社会システムと知能(エージェントモデルと意思決定), 「社会システムにおける知能」及び一般)
- CF帰納法における一般化に関する考察第2報(セッション : 一般(知識処理), 「社会システムにおける知能」及び一般)
- メッセージ通信を用いた分散型結論発見(セッション : 一般(知識処理), 「社会システムにおける知能」及び一般)
- 投機的に計算するマルチエージェントシステムにおける実時間意思決定に関する考察(社会システムと知能(エージェントモデルと意思決定), 「社会システムにおける知能」及び一般)
- CF 帰納法における一般化に関する考察:第2報(一般(知識処理), 「社会システムにおける知能」及び一般)
- メッセージ通信を用いた分散型結論発見(一般(知識処理), 「社会システムにおける知能」及び一般)
- ダイアグラムに基づく法的論争支援システム
- アフォーダンス理論による人工技能への接近 : 記憶と身体性
- 今西進化論に基づく遺伝アルゴリズムによるモジュール配置問題の多様な最適解の探索
- 今西進化論に基づく遺伝アルゴリズムによる多様なパレート最適解の抽出法 - 多目的資源分割問題を実例として -
- 指静脈認証を用いた学生出席管理システムとICカードを用いた学生出席管理システムの受容態度の比較研究 : 松山大学の事例(不均質なライフログからのデータマイニング及び一般)
- 指静脈認証を用いた学生出席管理システムとICカードを用いた学生出席管理システムの受容態度の比較研究 : 新潟国際情報大学の事例(セキュリティと倫理,一般)
- 電子マネーの非計量的費用効果分析
- 電子マネーの実験にみる効果と課題
- FACE2000-14 電子署名・認証に関する制度と技術の相互作用について
- 電子署名・認証法案の問題点に関する考察
- デジタル著作権管理技術の現状と今後の展開 : デジタル社会のガバナンス 技術と社会の調和を目指して(知的財産関係,一般)
- 地域通貨の電子情報化および交換に関する研究 : ユビキタス時代の価値情報交換
- 産直ビジネスにおけるライフログ活用に関する考察--『内子フレッシュパークからり』を事例として (ライフインテリジェンスとオフィス情報システム)
- CF帰納法における一般化に関する考察
- エージェント間通信におけるアブダクションによる投機的計算(マルチエージェント)
- タブローに基づく論理的帰結発見手続きSOL
- ゲーム感覚意思決定理論AHP法およびDEA法による電子マネーの総合的優位性解析
- ゲーム感覚意思決定理論AHP法およびDEA法による電子マネーの総合的優位性解析
- 指静脈認証を用いた学生出席管理システムとICカードを用いた学生出席管理システムの受容態度の比較研究 : 松山大学の事例
- 電子商取引の安全と安心は両立するか？
- 招待講演:電子政府の実現に向けた政策的課題 (2002年情報学シンポジウム 講演論文集--情報社会のセマンティクスXMLとSemantic Web,電子政府への展望,ロボットとの共生) -- (セッション4:電子政府への展望)
- 海外電子マネー最新事情(4)韓国・K-Cash--韓国銀行の主導による統一型電子マネー
- 海外電子マネー最新事情(3)韓国・モバイルコマース--赤外線を利用した携帯電話決済システムZOOP
- 海外電子マネー最新事情(2)韓国・交通ICカード--ソウルとプサンにみる成功の条件
- 海外電子マネー最新事情(1)ドイツ・ゲルトカルテ 現金優位社会での電子マネー普及の可能性
- 情報プラットフォームとE-ビジネス (情報プラットフォーム)
- 米国におけるサイバー倫理教育
- 電子マネー実験を「解剖」する--利用者視点からの調査報告
- 電子署名及び認証業務に関する制度分析 : 電子インフラストラクチャーにおける市場と政府の役割
- サイバー社会のプライバシー : E5型と米国型の調和はありうるか
- 電子マネー法案の政策学的評価
- 電子的決済手段の公共政策的分析
- Eコマースが発展しネット交流サイトとの融合が進む (電子マネー 戦国時代)
- eラーニングシステムを活用した情報セキュリティ教材の配信(情報教育関係,一般)
- 産直ビジネスにおけるライフログ活用に関する考察 : 『内子フレッシュパークからり』を事例として(ライフログ,ライフログ活用技術,オフィスインフォメーションシステム,ライフインテリジェンス,一般)
- アクション言語Aにおける行動規則の学習
- 非決定性アクション言語NA上のプランニング手続き
- 投機的計算を行う協調型マルチエージェントシステムの構築に関する一手法 (小特集 使えるAI基礎技術)
- ユーザの嗜好を取り入れた文書評価を行うWeb上の情報検索 (小特集 使えるAI基礎技術)
- 補題の利用による効率的なSOL導出の実現
- アクション言語Aにおける行動規則の学習
- プランニンググラフとSATプランニング(「プランニング技術の進展と新たな応用展開」)
- デジタルコンテンツ流通における消費者の選好要因に関する研究 : 音楽コンテツの流通における制度的要因を中心に (ライフインテリジェンスとオフィス情報システム)
- DNSトラフィックおよびDNSログの取り扱いに関する法的検討 (技術と社会・倫理)
- デジタルコンテンツ政策に対する消費者の制度受容要因に関する研究-政策評価理論と実証的検証手段の検討-
- 「SATソルバー」(私のブックマーク)
- モデル生成を用いた代謝ネットワークにおける極小活性パスウェイの列挙
- O-041 システムズ・レジリエンス(サービス・クラウド,O分野:情報システム)
- 多目的分散制約最適化問題における厳密/非厳密解法の提案(理論,ソフトウェアエージェントとその応用論文)
- 分散制約最適化問題 : 擬似木に基づくハイブリッド型の解法の提案(理論,ソフトウェアエージェントとその応用論文)
- N-016 サイバーセキュリティ問題の分散型多元制約最適化によるモデル化と解法(N分野:教育・人文科学,一般論文)