TOP > 国内特許検索

国内特許検索

表示件数 詳細検索
特許の状態
データ提供機関
出願人
IPC
Fターム
マークによる絞込み
データ選択
カレンダー表示 カレンダー表示
番号選択
表示オプション 表示順

リセット


※未公開特許出願は対象外です。


該当件数 11件

No. 出願番号
特許番号
発明の名称
掲載日
更新日
データ提供機関
1 特願2016-017441 特許第6632058号 不変条件生成装置、コンピュータプログラム、不変条件生成方法、プログラムコード製造方法 新技術説明会 2018/11/22 2020/01/28 京都大学
2 特願2016-037660 特許第6611635号 ハードウェアプラットフォーム及びハードウェアプラットフォームを用いたハードウェアの操作方法 新技術説明会 2016/10/13 2020/01/09 九州工業大学
3 特願2013-109741 特許第6120276号 アクセラレータ処理実行装置、及びアクセラレータ処理実行プログラム 2015/02/27 2017/12/19 筑波大学
4 特願2013-544261 特許第5540160号 プログラム解析・検証サービス提供システム、その制御方法、制御プログラム、コンピュータを機能させるための制御プログラム、プログラム解析・検証装置、プログラム解析・検証ツール管理装置 新技術説明会 2015/02/04 2017/12/18 科学技術振興機構(JST)
5 特願2012-546760 特許第5280587号 ディペンダビリティ維持システム、変化対応サイクル実行装置、障害対応サイクル実行装置、ディペンダビリティ維持システムの制御方法、制御プログラムおよびそれを記録したコンピュータ読み取り可能な記録媒体 2013/11/26 2017/12/21 科学技術振興機構(JST)
6 特願2011-135201 特許第5843230号 ハイブリッドシステムの検証方法、検証装置、及び検証コンピュータプログラム、並びに、ハイブリッドシステムのモデル変換方法、変換装置、及び変換コンピュータプログラム 新技術説明会 2013/01/17 2020/01/21 京都大学
7 特願2005-056804 特許第5164032号 編集支援プログラムおよびプログラム編集の支援方法 新技術説明会 2011/05/24 2018/02/28 会津大学
8 特願2007-050269 特許第5224498号 メモリ管理方法、情報処理装置、プログラムの作成方法及びプログラム 外国出願あり 2010/10/21 2019/10/23 早稲田大学
9 特願2005-041235 特許第4855692号 ソフトウェア開発支援システム 新技術説明会 2008/12/05 2018/03/02 九州工業大学
10 特願2006-175756 特許第4576536号 収束求解アルゴリズムに対する性能比較表示装置及び性能表示比較システム 2008/02/08 2018/02/22 筑波大学
11 特願2006-102171 特許第4576535号 収束求解アルゴリズム性能表示装置および収束求解アルゴリズム性能表示方法 2007/11/06 2018/02/22 筑波大学

(1/1ページ)

  • 1

PAGE TOP