出願した特許の牽制数、引用された数などを知る事ができます。気になる技術や特許をブックマークしておけば、いつでも後から読むことができます。後で印刷するために、公報をPDFでダウンロードできます。会員登録してastamuseを使えば、もっと簡単に便利にお使いいただけます。会員登録(無料)「astamuse」は世界中の挑戦したい社会課題に挑戦し、未来を創る人のプラットフォームです。別人の方の出願情報が表示される場合がございます。11は、第1のプログラムP1の修正後の第2のプログラムP2であって、第1のプログラムP1に対応する第1の業務ルール表T1との齟齬が発生している第2のプログラムP2と、業務用語の定義ルールR1を示す情報を記憶する。1bは、対象のシステム2の第1のプログラムにアクセスされる第1のデータと、システム2の第2のプログラムにアクセスされる第2のデータとを特定する。1は、プログラムを、シンボリック実行を用いて分析する場合に、プログラムから順次命令文を抽出し、抽出された命令文が変数を更新する更新文である場合に、更新文に含まれる、変数の変数名及び変数を更新する値の意味を示す定数名の関係を定数管理表22に記録する。100は、ソフトウェアSWの構成要素群の構成要素間の依存関係に基づいて、ソフトウェアSWの構成要素群を複数のクラスタに分割する。20は、連言形式の対象条件式に基づいて、原子条件式を等式条件とする選言形式の条件式のリストを取得する。選言形式の条件式のリストに基づいて、選言形式の条件に含まれる各変数の代入値を取得し、代入値のリストを生成する。”未来を創るためのプラットフォーム”astamuseは、世界中で未来を創るための「仕組み」を提供するため日々改善を進めています。専門用語を解析し、意味や用法を知ることが出来るキーワード情報そしてこれらの情報を最大限活用することで、挑戦したい社会課題を独自の切り口で編集。社会に大きな変化を起こし、未来を創るために活動し続けるのは容易なことではありません。行う為に必要なサービスの提供を行っていきます。それが私たちの考える“未来を創ること”です。