23:18:11)追加された行はこの色です。削除された行はこの色です。[#work1](先生方へ)研究室所属の学生さんのリストを追加してください。追加していただいた順番を、研究室内の発表順番とします。9999に相当する部分は、わかるようでしたら、学生さんの学籍番号下4桁を書いてください。わからなければ、あとでこちらで作業します。論文タイトルなどは、後からこのページで編集可能ですので、未定でも結構です。[#work2](先生方へ)研究室所属の学生さんのリストを追加してください。追加していただいた順番を、研究室内の発表順番とします。yy-zzの部分は、全体の発表順が決定してから自動生成しますので、このまま残しておいてください。論文タイトルなどは、後からこのページで編集可能ですので、未定で結構です。[#n48a7dcd]//-1月中には,プログラムを決定し、下記に掲載します.-この結果,要旨集ページ数の割当が決定しますので,これを卒論要旨原稿に組み込んでください.//--研究室内での発表順番が決まっている学生さんは、すでにページ数が決まっています。////下のプログラムを見てください。[#rb268e06]-要旨原稿のPDF版を,発表会前日2020年2月1日23:59JSTまでに以下のURLからアップロードしてください--http://siio.jp/pdf/grad/2019/index.html-要旨原稿の書き方はこのページのガイドを見てください.ページ数を入れてください.//-アップロード方法等は後日案内します.-上記締め切り以後もPDF版は差し替え可能です.--とりあえずアップロードしてください//--締め切り後に差し替えた場合は椎尾(siio@is.ocha.ac.jp)まで連絡ください-発表会参加者は提出PDFへのリンクにアクセスして要旨を見ます--なので必ず発表会前日までにアップロードしてください。-下記の要旨原稿の作成に準じて2ページの原稿を作ってください.ページ番号の記入は任意です.無しでもかまいません.-紙の原稿の提出締め切りは、すでに過ぎていて提出先は大学院事務室でした。-その要旨原稿のPDFを2020年2月1日23:59JSTまでにアップロードしてください。あとからの差し替えにも対応します。[#format]//-TeXのスタイルファイルと,これを利用して先輩が作ったサンプル2例を以下に置いてあります.-TeXのスタイルファイルは可能ならば研究室の先輩からもらってください。--ページ数は必ず2ページにしてください--先輩からもらえない場合は、以下のサンプルを試してください-要旨集の体裁を統一するために,以下のサンプルを使ってTeXで作成することを強く強く推奨しますが,どうしても仕方なくワープロで作らざるを得ない場合は,以下のPDFに出来る限り近いものに仕上げてください.--TeXのインストール方法/使い方は検索してください。ページにも簡単な説明ページを用意しました。[#md1c7424]-以下に一式入っています。//漢字コードがUTF-8のものとShift-JISのものがあります。環境に合わせてどちらかお使いください(UTF-8がおすすめです)。参考にする人はUTF-8がデフォルトなので、UTF-8版が楽です。//--http://siio.jp/papers/soturon/sample_yoshida_utf8.zipに一式入っています。--http://siio.jp/papers/soturon/sample_yoshida_sjis.zipに一式入っています。-http://siio.jp/papers/soturon/sample.pdfがフォーマットした結果です。-吉田先生から提供いただいたサンプルです。[#h392f384]-以下に一式入っています。//漢字コードがUTF-8のものとShift-JISのものがあります。環境に合わせてどちらかお使いください。参考にする人はUTF-8がデフォルトなので、UTF-8版が楽です。--http://siio.jp/papers/soturon/sample_siio_utf8.zipに一式入っています。//--http://siio.jp/papers/soturon/sample_siio_sjis.zipに一式入っています。-http://siio.jp/papers/soturon/bunchin.pdfがフォーマットした結果です。-吉田先生のをもとに椎尾研で作ったサンプルです。--スタイルファイルは全く同じです。--空きがありますが,これはサンプルが未完成なだけですので,いっぱいまで書き込んでください.-JPEG写真を使っています。--そのために、usepackage[dvipdfm]{graphicx}を宣言しています。この部分は、もしかしたらみなさんの環境では違うかもしれません。--ファイル名をEPSファイルのものにすれば,EPSファイルも使えます.--ファイル名をpngファイルのものにすれば,pngファイルも使えます--jpegとpngではサイズ情報をあらわす.bbファイルが必要です。ebbコマンドで作ってください。-参考文献を使っています--bibtexを使うようにしてあります。.bibファイルに文献データを書いておくと自動処理してくれます。bibtexを強くお勧めします。--bibtexのフォーマット(.bstファイル)は情報処理学会に準拠しました。他の学会の.bstファイルも入れてあります。[#bfdc525c]-''&color(Red,Yellow){(重要)};''卒論要旨原稿ページ下部に、今後、スケジュール表で割り当てられるページ数を,センタリングで入れてください。//-''&color(Red,Yellow){(重要)};''卒論要旨原稿ページ下部に、割り当てられたページ数を,センタリングで入れてください。%------------------------------------------------------------結果はこのようになります(だいたい合ってれば良いです)。[[有形文化財に登録されている:http://archives.cf.ocha.ac.jp/pdf/kikaku_1110_b.pdf]]//[[有形文化財に登録されている:http://www.ocha.ac.jp/news/archive/h191214_3.html]]本館の中で、[[本館建築当時の内装と什器を残した唯一の講義室です:http://blog.goo.ne.jp/t-log707/e/ca24935c42c30c697d3c42408e516263]]。硬い木の椅子ですので、必要な方はクッションをお持ちください。実行の流れを操作するためのオペレータであり、複雑な動作の簡潔な表現を可能とする。依存型と制御演算子を同時に扱うことができれば、安全なプログラムを効率的に実装できるようになると考えられるが、これらを安易に組み合わせると、型が静的に定まらない、あるいは、論理的に矛盾した体系が得られる、といった問題が生じることが知られている。Dellinaを設計する。主な貢献は以下の通りである。柔軟な振る舞いを持つ制御演算子を扱う際に、型の依存性をどのように制限しなければならないかを明らかにする。次に、非叙述性を仮定することなく、制御演算子を除去できるようなプログラム変換を定義する。最後に、帰納的データ型や型演算をサポートすることによって、言語の実用性を向上させる。2017年2月6日10:00時点でのアップロード済みPDFを集めてあります.それ以降の更新は反映していません.//***以下は暫定プログラムです。[[プログラムのPDF版(会場で配布されるもの)はここです:http://siio.jp/pdf/grad/2017/2017gradProgram.pdf]]//-プログラムは調整中です。2017年2月4日22:00時点でのアップロード済みPDFを集めてあります.それ以降の更新は反映していません.//***以下は暫定プログラムです。1)////一部の研究室は、クリックすると、受入れ条件、予定テーマなどについて、教員からのメッセージが見られます。発明申請の手続きが完了するまで要旨原稿の公開を延期します。2)//一部の研究室は、クリックすると、受入れ条件、予定テーマなどについて、教員からのメッセージが見られます。