• 検索結果がありません。

UNICODE 変換リストのプログラムについて」)

プログラムのパターン変換系における空白字句保存手法に関する研究

プログラムのパターン変換系における空白字句保存手法に関する研究

... 2.2 プログラムパターン変換 TEBA が提供するプログラムパターン変換は,書き 換え前と後 2 つソースコード断片を変換前パターン と変換後断片として記述したパターン変換記述に従い行 う.パターン変換記述とは,変換前パターンに記述した ...

2

合成可能なタブローによる仕様の差分的無矛盾性判定について (プログラム変換と記号・数式処理)

合成可能なタブローによる仕様の差分的無矛盾性判定について (プログラム変換と記号・数式処理)

... アクティブシステムは、エレベータシステムや、 オペレーティングシステムなどようにシステ ムが環境とやり取りを行う。 多くやり取りは あらかじめ決められたタイミングを満たす必要 があるため、順序を記述可能な時間論理はそれ ら時間的制約を記述するに適している。 ま た、時相論理という形式言語を用いて仕様記述 を行うことで、厳密な記述が可能となるだけで ...

8

東北大学日本語教育プログラムにおけるレベル別漢字リスト開発のための調査研究

東北大学日本語教育プログラムにおけるレベル別漢字リスト開発のための調査研究

... K5初回授業で学習者ニーズを調査したとこ ろ,JLPTN1合格を目指している学生が非常に多 かった.もしこのレベルでN1を目指すとなると, 4 か月で単漢字1000字以上を学ばなければならない.し かも,K5はK1~ K4と異なり,週 1 回しか授業がない. 週 2 回授業があるK1~ K4総指導漢字数が約180~ ...

10

TS交換標準データ変換・確認プログラム操作ガイド

TS交換標準データ変換・確認プログラム操作ガイド

... <オリジナルファイル日本語名> TS施工管理データ01 </オリジナルファイル日本語名> <オリジナルファイル作成ソフトバージョン情報>出来形管理データ作成ソフトウェア2010 </オリジナルファイル作成ソフトバージョン情報> <オリジナルファイル内容>○○線形TS施工管理データ</オリジナルファイル内容> </オリジナルファイル情報> ...

7

一般部分計算法(GPC)によるプログラム自動生成 (プログラム変換と記号・数式処理)

一般部分計算法(GPC)によるプログラム自動生成 (プログラム変換と記号・数式処理)

... 一般部分計算法 (GPC) によるプログラム自動生成 Automatic Program Generation by Generalized Partial Computation 二村良彦 \dagger $-$ 小西善二郎 \dagger\dagger 心立トウ \dagger \dagger \dagger Yoshihiko FUTAMURA Zenjiro KONISHI Litong SONG ...

6

グラフ探索アルゴリズムの形式的検証とモデル検査への応用について (プログラム変換と記号・数式処理)

グラフ探索アルゴリズムの形式的検証とモデル検査への応用について (プログラム変換と記号・数式処理)

... $\Rightarrow|\mathrm{s}_{-\mathrm{p}}\mathrm{A}\mathrm{T}\mathrm{H}\mathrm{s}\mathrm{o}\llcorner \mathrm{N}\iota_{gfss}eb$ goal ( $xv$ goal) ず、 よって (仮定 1) 条件部分を消すことができな いためである。 そこで \sim 升々は $\vdash$ ...

13

JAIST Repository: 正当性自動保証機能を備えた高階プログラム自動変換技術

JAIST Repository: 正当性自動保証機能を備えた高階プログラム自動変換技術

... STTRS枠組みで変換パターンを作成するために,STTRSパターン概念を提案した.また,STTRSパターンによるプロ グラム変換を実現するために,STTRSパターンマッチングアルゴリズムを提案した. 研究成果概要(英文):We construct a framework of program transformation by templates which ...

6

「エネルギー変換」と「プログラムによる 計測・制御」を融合した学習指導法の検討

「エネルギー変換」と「プログラムによる 計測・制御」を融合した学習指導法の検討

... 照明 題材を選択できる授業形態では、題材別に学習で きることで生徒は学習に対して高い意欲を示すこと がわかった。テスト(50点満点)全体平 点は ...5.6)と題材別による知識 定着差はなかった。表 3に示す選択題材におい て自己評価より、構想やアクチュエータ製作、 ...

10

パターンに基づくプログラム変換システム

パターンに基づくプログラム変換システム

... g(d(u, v), w) → d(u, g(v, w)) 項書き換えシステム R を変換パターン P ⇒ P 0 を 用いて変換するには,項書き換えパターン P と項書 き換えシステム R とパターン照合問題を解く必要 がある.文献 [1] において著者らは,パターン照合問 題解を項準同型写像によって表わし,項パターン 照合問題を解くアルゴリズム Match を提案した.ア ...

5

二変数有理関数近似のハイブリッド計算 (プログラム変換と記号・数式処理)

二変数有理関数近似のハイブリッド計算 (プログラム変換と記号・数式処理)

... eral Order Newton Pad\’e Approximants を考え、 与えられたデータに対し連続な有理関数近似を得る ことを考えた。その場合に – 変数有理関数補間 場合に頻繁に起こる不必要な極問題があるかどう か数値的な興味がある。 ...

6

二次元画像の非写実的変換についての研究  〜漫画風画像への変換〜

二次元画像の非写実的変換についての研究 〜漫画風画像への変換〜

... 化をすることができた. 今後課題として,輪郭線は,より正確な補正処理導 入と線太さを一定化が求められ,改善することで,より漫 画に近い輪郭線生成ができると考えられる.テクスチャ簡 略化処理については抜き出す範囲模様濃度計算処理 を追加することで,現在よりも元画像印象を崩さずに簡略 ...

4

実行時最適化のためのコード生成インタフェース (プログラム変換と記号・数式処理)

実行時最適化のためのコード生成インタフェース (プログラム変換と記号・数式処理)

... 作成した実行時最適化システム 「 $\mathrm{C}++\mathrm{D}\mathrm{o}\mathrm{u}\mathrm{b}\mathrm{l}\mathrm{e}\mathrm{r}$ 」では、 最適化対象プログラムについて特殊化さ れた実行時コード生成機を生成するために、 スタックマシンを抽象モデルとしたインタフェ $-$ スを採 ’ 白し、 ...

12

集合表現を含む仕様からのルール生成 (プログラム変換と記号・数式処理)

集合表現を含む仕様からのルール生成 (プログラム変換と記号・数式処理)

... 繰り込み変換ように変換して, 次ようなメタ節が得ら 適用 $arrow \mathrm{s}\mathrm{e}\mathrm{g}$ アトムを展開 $arrow \mathrm{a}\mathrm{p}\mathrm{p}\mathrm{e}\mathrm{n}\mathrm{d}$ アトムを ...

10

プログラムテンプレートを用いたXML文書変換手法に関する研究

プログラムテンプレートを用いたXML文書変換手法に関する研究

... XML のデータ構造をクラスで表現する方法として,要 素をクラスとし,子要素をクラスのメンバ変数としてあ らわすことがある.JAXB[2] などのデータバインディ ングツールで用いられている.この方法では要素名はメ ンバ変数の変数名として表現されるので,要素名が異な るデータ定義ごとにクラス定義をしなければならない. われわれは変数名をメンバ変数の値として表現できるよ [r] ...

4

プログラム変換を用いた右括弧が欠落したプログラムに対する補正手法に関する研究

プログラム変換を用いた右括弧が欠落したプログラムに対する補正手法に関する研究

... 括弧欠落が,その欠落を含む構文要素兄弟や親子 構造にも影響を与える可能性があるので,各構文要素ごと に兄弟関係や親子関係に基づいてテストケースを作成す る.すべて括弧欠落に対して,対象とする構文要素 兄弟関係,親子関係に基づき検討する.さらに,正しい構 造を誤って書き換える可能性を考慮して,テストケースを 作成した. ...

4

プロファイル変換でのレンダリングインテントによる色彩の差異について

プロファイル変換でのレンダリングインテントによる色彩の差異について

... Photoshop 「カラー設定」に従っ て行われるが、実験ではカラーエンジンを「ACE」に、レ ンダリングインテントを「相対的な色域を維持、黒点補 正を使用」に設定した。これは、このように設定すると、 モード変換で Lab 値が維持され、逆方向に変換しても色 が変わらないからである。また、数値を小数点以下まで精 度よく読み取るため、画像は 16 ビット / チャンネルとし ...

10

プログラムリスト

プログラムリスト

... 紀 国 A C 2001 和 歌 山 市 記 録 会 紀 三 井 寺 800m 2’15”64 福 島 直 樹 紀 国 A C 2017 近 畿 5 府 県 交 流 小 学 生 陸 上 鴻 池 1000m 2’54”43 福 島 直 樹 紀 国 A C 2018 徳 島 県 強 化 記 録 会 ...

15

プログラムリスト

プログラムリスト

... 但しリレーは、小学生400円、中学生600円、高校生1,000円、一般1,500円 申し込み後に参加を取り止めた場合でも、参加料は返却しない。 8.表 彰 各種目優勝者には賞状とメダル、2位、3位者には賞状を授与する。 但し、高校・一般男子砲丸投については重さが違うため表彰は別にします。 最優秀選手賞を男子・女子各1名に授与する。 ...

23

プログラムリスト

プログラムリスト

... 競技者名 学年 所属 順位 レーン No.. 競技者名 学年 所属 順位 レーン No.[r] ...

35

効率的な等価変換ルールの探索に基づくプログラム合成 (プログラム変換と記号・数式処理)

効率的な等価変換ルールの探索に基づくプログラム合成 (プログラム変換と記号・数式処理)

... 用いられる. $R_{P}$ 中述語記号は条件部と実行部と 以外に現れるメタアトムを作るために用いられる . $R_{R}$ と $R_{P}$ 具体例は以下ようなものである. $R_{P}=$ {ans, primes, filter, initial, append, . . .} $R_{R}=$ { $=,$ $>,$ $\leq$ , divisible, .. .} ...

12

Show all 10000 documents...

関連した話題