UNICODE 変換リストのプログラムについて」)
プログラムのパターン変換系における空白字句保存手法に関する研究
... 2.2 プログラムのパターン変換 TEBA が提供するプログラムのパターン変換は，書き 換え前と後の 2 つのソースコード断片を変換前パターン と変換後断片として記述したパターン変換記述に従い行 う．パターン変換記述とは，変換前パターンに記述した ...
2
合成可能なタブローによる仕様の差分的無矛盾性判定について (プログラム変換と記号・数式処理)
... アクティブシステムは、エレベータシステムや、 オペレーティングシステムなどのようにシステ ムが環境とやり取りを行う。 多くのやり取りは あらかじめ決められたタイミングを満たす必要 があるため、順序を記述可能な時間論理はそれ らの時間的制約を記述するのに適している。 ま た、時相論理という形式言語を用いて仕様記述 を行うことで、厳密な記述が可能となるだけで ...
8
東北大学日本語教育プログラムにおけるレベル別漢字リスト開発のための調査研究
... K5の初回の授業で学習者のニーズを調査したとこ ろ，JLPTのN1合格を目指している学生が非常に多 かった．もしこのレベルでN1を目指すとなると， 4 か月で単漢字1000字以上を学ばなければならない．し かも，K5はK1～ K4と異なり，週 1 回しか授業がない． 週 2 回授業があるK1～ K4の総指導漢字数が約180～ ...
10
TS交換標準データ変換・確認プログラム操作ガイド
... <オリジナルファイル日本語名> TS施工管理データ01 </オリジナルファイル日本語名> <オリジナルファイル作成ソフトバージョン情報>出来形管理データ作成ソフトウェア2010 </オリジナルファイル作成ソフトバージョン情報> <オリジナルファイル内容>○○線形のTS施工管理データ</オリジナルファイル内容> </オリジナルファイル情報> ...
7
一般部分計算法(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: 正当性自動保証機能を備えた高階プログラム自動変換技術
... 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 のデータ構造をクラスで表現する方法として，要 素をクラスとし，子要素をクラスのメンバ変数としてあ らわすことがある．JAXB[2] などのデータバインディ ングツールで用いられている．この方法では要素名はメ ンバ変数の変数名として表現されるので，要素名が異な るデータ定義ごとにクラス定義をしなければならない． われわれは変数名をメンバ変数の値として表現できるよ [r] ...
4
プログラム変換を用いた右括弧が欠落したプログラムに対する補正手法に関する研究
... 括弧の欠落が，その欠落を含む構文要素の兄弟や親子の 構造にも影響を与える可能性があるので，各構文要素ごと に兄弟関係や親子関係に基づいてテストケースを作成す る．すべての括弧の欠落に対して，対象とする構文要素の 兄弟関係，親子関係に基づき検討する．さらに，正しい構 造を誤って書き換える可能性を考慮して，テストケースを 作成した． ...
4
プロファイル変換でのレンダリングインテントによる色彩の差異について
... Photoshop の「カラー設定」に従っ て行われるが、実験ではカラーエンジンを「ACE」に、レ ンダリングインテントを「相対的な色域を維持、黒点の補 正を使用」に設定した。これは、このように設定すると、 モード変換で Lab 値が維持され、逆方向に変換しても色 が変わらないからである。また、数値を小数点以下まで精 度よく読み取るため、画像は 16 ビット / チャンネルとし ...
10
プログラムリスト
... 紀 の 国 Ａ Ｃ 2001 和 歌 山 市 記 録 会 紀 三 井 寺 ８００ｍ 2’15”64 福 島 直 樹 紀 の 国 Ａ Ｃ 2017 近 畿 ５ 府 県 交 流 小 学 生 陸 上 鴻 の 池 １０００ｍ 2’54”43 福 島 直 樹 紀 の 国 Ａ Ｃ 2018 徳 島 県 強 化 記 録 会 ...
15
プログラムリスト
... 但しリレーは、小学生４００円、中学生６００円、高校生１,０００円、一般１,５００円 申し込み後に参加を取り止めた場合でも、参加料は返却しない。 ８．表 彰 各種目の優勝者には賞状とメダル、２位、３位者には賞状を授与する。 但し、高校・一般男子砲丸投については重さが違うため表彰は別にします。 最優秀選手賞を男子・女子各１名に授与する。 ...
23
効率的な等価変換ルールの探索に基づくプログラム合成 (プログラム変換と記号・数式処理)
... 用いられる. $R_{P}$ 中の述語記号は条件部と実行部と 以外に現れるメタアトムを作るために用いられる . $R_{R}$ と $R_{P}$ の具体例は以下のようなものである. $R_{P}=$ {ans, primes, filter, initial, append, . . .} $R_{R}=$ { $=,$ $>,$ $\leq$ , divisible, .. .} ...
12