公衆暗号系
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1981-01-15
著者
関連論文
- 契約と適合化 : エージェント・モデルに基づくワークフロー管理とコンポーネント結合
- 共生・寄生エージェント・モデルにおける「契約」 : ワークフロー管理への適用
- ソフトウェアコンポーネントのための結合性と分解性 : 共生・寄生モデルエージェントモデルに基づくコンポーネント
- 共生・寄生エージェントモデル(S/PAM)に基づくロボットプログラミング(ソフトウェアモデリング及び一般)
- 共生・寄生モデルエージェントモデル(S/PAM)に基づく可変&移動型ソフトウェアコンポーネント
- 共生・寄生モデルに基づくソフトウエア・エージェントによる情報バリアフリー支援の一構想
- D-13-1 移動エージェントのためのコード移送のモデル化
- 共生・寄生エージェント・モデルのワークフロー管理への応用
- 共生・寄生モデルに基づく進化的移動エージェント言語
- 日本語アクセントの認識実験とメロディー自動生成
- 日本語アクセント生成システム
- Specification analysis of concurrent programs(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
- Sheaf of Structuresにより保存されるSentenceについて (数学基礎論)
- ニューラルネットワークを用いたコーパスからの共起強度の抽出
- コード進行と転回形の推移特徴に基づく伴奏生成
- メロディーに関連づけたアドリブの生成
- ナップザック問題における解法拡張可能性の分析
- 曲構造とメロディーのリズム解析による自動編曲
- IPパケット損失がMPEG1音声・画像品質に及ぼす影響の評価
- IPパケット損失がMPEG1音声・画像品質に及ぼす影響の評価
- IPパケット損失がMPEG1画像品質に及ぼす影響の評価
- TCP通信を帯域保証する場合の問題点の分析
- 契約と適合化 : エージェント・モデルに基づくワークフロー管理とコンポーネント結合
- ソフトウェアコンポーネントのための結合性と分解性 : 共生・寄生モデルエージェントモデルに基づくコンポーネント
- 係り受けによる曖昧性の解消を支援する推敲システム
- 会話型FORTRAN : KEIOシステム
- カナ文字FORTRAN
- 数学的構造を反映させた定理証明系の試み
- 将棋における局面変化に応じた評価関数
- 対位法による編曲システムの開発
- 中国語の未知語の推論
- 数学科における計算機教育を考える〔含 質疑応答〕
- チューリングと理論とその周辺 (チューリング・マシン(特集))
- 文生成による感情表現
- 計算機上で変化する感情を取り扱うための表現方法
- 14.レーザー・ディスクによる教育システムの開発について(分科会B)
- Q-16 THE システムのハードウェア・ソフトウェア上の問題点
- Q-15 ビデオディスクを用いた数学教育 : THE システムのコースウェア
- 2.諸科学に見られる不動点論の散策 2.1基礎論と不動点 (不動点をめぐって)
- ソフトウェア科学と数理論理学
- 仕様記述言語向きの変換系記述言語TDLの適用と効果
- 仕様記述言語向きの変換系記述言語TDL
- アルゴリズム概念の形成と変遷
- FORTRAN型フローチャート言語FFLの設計と試作
- 周波数変調方式による音色とその表現語の対応
- HMMを用いた日本語形態素解析システムの確率情報分析
- 自然言語指向の論理型言語処理系の実現方式
- マレーシア語日本語の機械翻訳システム
- 形からの漢字入力
- 核音間の音高推移構造に基づく日本音楽の統計調査
- 曲検索システムのための音符列類似度の設計^1
- 演奏情報に関する楽曲の特徴抽出システムの作成
- クラシックバレエにおけるアンシェヌマンの自動生成モデル
- nグラムの手法を用いたピアノ運指の推論
- パネル討論会 : 大学, 高校, メーカ・ユーザの企業内の各々における情報処理教育の限界をさぐる
- Some Remarks in General Theory of Flow-Charts (プログラムの基礎理論)
- KEIO-TOSBAC タイムシェアリシグシステム 入出力制御とスーパーバイザ
- なぜ,いま,ゲ-デルなのか (ゲ-デルと不完全性定理)
- 素数と素因数分解--暗号理論と関連して
- "計算不可能"ということ (組合せ理論と応用)
- ゲ-デルの業績とその影響 (ゲ-デル)
- 数学科学生のための計算機概論-19-符合系の理論
- 数学科学生のための計算機概論-16-計算機の構造-1-
- 数学科学生のための計算機概論-18-図形処理概論
- 数学科学生のための計算機概論-17-計算機の構造-2-
- 数学科学生のための計算機概論-15-数式処理-4-
- 数学科学生のための計算機概論-14-数式処理-3-
- 数学科学生のための計算機概論-13-数式処理-2-
- 数学科学生のための計算機概論-12-(7)数式処理-1-
- 数学科学生のための計算機概論-11-算法と計算量-4-
- 数学科学生のための計算機概論-10-算法と計算量-3-(Introduction to Computing)
- 数学科学生のための計算機概論-9-(6)算法と計算量-2-
- 数学科学生のための計算機概論-8-算法と計算量-1-ソ-テイング
- 数学科学生のための計算機概論-7-関数値の計算例
- 数学科学生のための計算機概論-6-数値と数値表現
- 数学科学生のための計算機概論-5-プログラム-3-
- 数学科学生のための計算機概論-4-プログラム-2-
- 数学の応用可能性について (数学の基礎と応用可能性のシンポジウム)
- Diophantine PredicateのRecursive Degreeについて (Proof theoryとRecursion theory研究会報告集)
- 追悼島内剛一先生
- 数学と情報科学 (情報数学のすすめ)
- 証明とコンピュ-タ--数学する人々の"よき助手"としての自動検証系の試み
- 公開鍵暗号について (新しい暗号--高速処理の技術)
- 有限の立場 (有限(特集))
- アルゴリズムとは何か (アルゴリズム(特集))
- チュ-リングとアルゴリズム (1930年代はこんな時代だった)
- コンピュ-タに接する前に--特集の"まえがき"として (コンピュ-タの常識)
- 高校数学から大学数学への架橋
- 暗号学と数学
- 数学基礎論の源流と現流 (現代数学の流れ-2-)
- 公衆暗号系の実現可能性と問題点
- 寄生・共生モデルに基づくエージェント協調メカニズムとXMLを用いたエージェント通信言語
- 知識処理に期待する
- 混沌の世界を数学化する作業
- コンピュ-タ-時代の暗号破り (不思議数学)
- 数学科学生のための計算機概論-3-プログラム-1-
- 数学科学生のための計算機概論-2-計算機小史
- 公衆暗号系
- 数学の応用可能性について (数学の基礎と応用可能性のシンポジウム)
- 数学科学生のための計算機概論-1-なぜ"計算機"なのか?