特許ウォッチ

公開番号2025115656
公報種別公開特許公報(A)
公開日2025-08-07
出願番号2024010221
出願日2024-01-26
発明の名称入力支援プログラム、入力支援システム、および入力支援方法
出願人デンカ株式会社
代理人個人,個人,個人,個人
主分類G06F 11/36 20060101AFI20250731BHJP(計算;計数)
要約【課題】科学技術に関する演算のための設定ファイルを効率良く作成すること。
【解決手段】入力支援プログラムは、科学技術シミュレーションのために用いられるテキスト形式の設定ファイルであって、それぞれが変数と値との1以上の関係式を含む複数の変数グループを記述する該設定ファイルを生成するための生成プログラムのソースコードを取得するステップと、複数の変数グループのうちの少なくとも一つに関する制約条件に基づいて、ソースコードを検査するステップと、ソースコードが制約条件を満たさないことに応答してエラーを出力するステップとをコンピュータに実行させる。
【選択図】図1

特許請求の範囲【請求項１】
科学技術シミュレーションのために用いられるテキスト形式の設定ファイルであって、それぞれが変数と値との１以上の関係式を含む複数の変数グループを記述する該設定ファイルを生成するための生成プログラムのソースコードを取得するステップと、
前記複数の変数グループのうちの少なくとも一つに関する制約条件に基づいて、前記ソースコードを検査するステップと、
前記ソースコードが前記制約条件を満たさないことに応答してエラーを出力するステップと、
をコンピュータに実行させる入力支援プログラム。
続きを表示（約 1,300 文字）【請求項２】
前記制約条件が、所定の変数グループが重複しないという制約を含み、
前記エラーを出力するステップでは、前記ソースコード内に前記所定の変数グループが２回以上記述されたことに応答して前記エラーを出力する、
請求項１に記載の入力支援プログラム。
【請求項３】
前記複数の変数グループが、２以上の前記変数グループにおいて共通して用いられる１以上の前記関係式を含む共通グループと、１以上の残りの変数グループとを含み、
前記制約条件が、前記共通グループと前記１以上の残りの変数グループのそれぞれとの間で不整合が存在しないという制約を含み、
前記エラーを出力するステップでは、前記共通グループと少なくとも一つの前記残りの変数グループとの間で前記不整合が存在することに応答して前記エラーを出力する、
請求項１または２に記載の入力支援プログラム。
【請求項４】
前記ソースコードが前記制約条件を満たすことに応答して、前記ソースコードを実行して前記設定ファイルを生成するステップであって、前記共通グループ内の前記関係式を前記１以上の残りの変数グループのうちの少なくとも一つの変数グループ内に記述する処理を含む該ステップを更に前記コンピュータに実行させる請求項３に記載の入力支援プログラム。
【請求項５】
前記科学技術シミュレーションが化学シミュレーションまたは物理シミュレーションである、
請求項１または２に記載の入力支援プログラム。
【請求項６】
前記化学シミュレーションが、化学反応に関するシミュレーションであり、
前記物理シミュレーションが、粉または粒の運動に関するシミュレーションである、
請求項５に記載の入力支援プログラム。
【請求項７】
少なくとも一つのプロセッサを備え、
前記少なくとも一つのプロセッサが、
科学技術シミュレーションのために用いられるテキスト形式の設定ファイルであって、それぞれが変数と値との１以上の関係式を含む複数の変数グループを記述する該設定ファイルを生成するための生成プログラムのソースコードを取得し、
前記複数の変数グループのうちの少なくとも一つに関する制約条件に基づいて、前記ソースコードを検査し、
前記ソースコードが前記制約条件を満たさないことに応答してエラーを出力する、
入力支援システム。
【請求項８】
少なくとも一つのプロセッサを備える入力支援システムによって実行される入力支援方法であって、
科学技術シミュレーションのために用いられるテキスト形式の設定ファイルであって、それぞれが変数と値との１以上の関係式を含む複数の変数グループを記述する該設定ファイルを生成するための生成プログラムのソースコードを取得するステップと、
前記複数の変数グループのうちの少なくとも一つに関する制約条件に基づいて、前記ソースコードを検査するステップと、
前記ソースコードが前記制約条件を満たさないことに応答してエラーを出力するステップと、
を含む入力支援方法。

発明の詳細な説明【技術分野】
【０００１】
本開示の一側面は、入力支援プログラム、入力支援システム、および入力支援方法に関する。
続きを表示（約 1,700 文字）【背景技術】
【０００２】
科学技術に関する演算のための設定ファイルの作成を支援する技術が知られている。例えば特許文献１には、ＤＴＤの要素名・属性名と、Ｗｏｒｄの文書作成機能における各要素とを対応させた変換定義ファイルを作成する手段と、作成された変換定義ファイルに基づいて決定したＷｏｒｄの属性項目が設けられたテンプレートを作成する手段と、作成されたテンプレートを用いて、前記の属性項目に任意の属性情報を入力してＸＭＬデータを作成する手段と、作成されたＸＭＬデータに、ＤＴＤに定義されていないタグが含まれていないかチェックする手段としてコンピュータを機能させるためのＸＭＬデータ生成プログラムが記載されている。
【先行技術文献】
【特許文献】
【０００３】
特許第５１０２４７４号公報
【発明の概要】
【発明が解決しようとする課題】
【０００４】
科学技術に関する演算のための設定ファイルを効率良く作成するための仕組みが望まれている。
【課題を解決するための手段】
【０００５】
本開示の一側面に係る入力支援プログラムは、科学技術シミュレーションのために用いられるテキスト形式の設定ファイルであって、それぞれが変数と値との１以上の関係式を含む複数の変数グループを記述する該設定ファイルを生成するための生成プログラムのソースコードを取得するステップと、複数の変数グループのうちの少なくとも一つに関する制約条件に基づいて、ソースコードを検査するステップと、ソースコードが制約条件を満たさないことに応答してエラーを出力するステップとをコンピュータに実行させる。
【０００６】
本開示の一側面に係る入力支援システムは少なくとも一つのプロセッサを備える。少なくとも一つのプロセッサは、科学技術シミュレーションのために用いられるテキスト形式の設定ファイルであって、それぞれが変数と値との１以上の関係式を含む複数の変数グループを記述する該設定ファイルを生成するための生成プログラムのソースコードを取得し、複数の変数グループのうちの少なくとも一つに関する制約条件に基づいて、ソースコードを検査し、ソースコードが制約条件を満たさないことに応答してエラーを出力する。
【０００７】
本開示の一側面に係る入力支援方法は、少なくとも一つのプロセッサを備える入力支援システムによって実行される。この入力支援方法は、科学技術シミュレーションのために用いられるテキスト形式の設定ファイルであって、それぞれが変数と値との１以上の関係式を含む複数の変数グループを記述する該設定ファイルを生成するための生成プログラムのソースコードを取得するステップと、複数の変数グループのうちの少なくとも一つに関する制約条件に基づいて、ソースコードを検査するステップと、ソースコードが制約条件を満たさないことに応答してエラーを出力するステップとを含む。
【０００８】
このような側面においては、複数の変数グループを記述する設定ファイルを生成するための生成プログラムのソースコードが、その変数グループに関する制約条件を満たさない場合に、エラーが出力される。この仕組みにより、そのソースコードを実行して設定ファイルを作成する前に、ソースコードの不備がユーザに提示されるので、ユーザはより早くソースコードの修正に着手できる。その分、設定ファイルを効率良く作成することが可能になる。
【発明の効果】
【０００９】
本開示の一側面によれば、科学技術に関する演算のための設定ファイルを効率良く作成できる。
【図面の簡単な説明】
【００１０】
入力支援システムの機能構成の例を示す図である。
入力支援システムで用いられるコンピュータのハードウェア構成の例を示す図である。
入力支援システムによる処理の例を示すフローチャートである。
ヒントウィンドウの例を示す図である。
設定ファイルの例を示す図である。
【発明を実施するための形態】
（【００１１】以降は省略されています）

関連特許