Members/kaito/slides: before_s6/2013/old/2013_10

annotate before_s6/2013/old/2013_10_8.html @ 5:ab2d529bb1d7

add slide

author	Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date	Tue, 14 Oct 2014 19:17:35 +0900
parents	2013/old/2013_10_8.html@845ff8ff4fc9
children

rev	line source
0 845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	1 <!DOCTYPE html>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	2 <html>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	3 <head>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	4 <meta charset='utf-8'>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	5
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	6 <script
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	7 src='./trunk/slides.js'></script>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	8 </head>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	9
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	10 <body style='display: none'>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	11 <section class='slides layout-regular template-default'>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	12
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	13 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	14 <h1>CbCコンパイラのLLVM3.4上での実装</h1>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	15 <p><br>Kaito Tokumori<br>October 8, 2013</p>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	16 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	17
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	18 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	19 <br>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	20 <h3>研究背景と目的</h3>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	21 <ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	22 <li>関数呼び出しの際のオーバーヘッド解決<ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	23 <li>Tail Call Elimination</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	24 <li>継続による制御</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	25 </ul></li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	26 <li>インライン展開について<ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	27 <li>インライン展開によってオーバーヘッドが削減される点について</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	28 <li>展開にも限度がある</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	29 </ul></li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	30 <li>その他<ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	31 <li>Cの一部を置き換えるCwCという方式を取ればCとの互換性がある</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	32 <li>コードセグメント単位で分けると処理内容が明確</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	33 </ul></li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	34 </ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	35 <!--<p>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	36 比較的歴史の古い言語であるCは普及率が高く多くのシステムに用いられている。そのCの問題のひとつに関数呼び出しの際のオーバーヘッドが大きいというものがある。当研究室ではこの問題をTail Call Eliminationの強制により解決しようと考えており、それを実現すべくCountinuation based C (CbC)という言語の開発を行なっている。CbCはCの関数呼び出しやループ制御の代わりに継続を用いて制御を行うもので、Cの下位言語に当たる。本研究ではmicro-c,GCC版に次ぐLLVMベースのCbCコンパイラ開発を行う。
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	37 </p>-->
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	38 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	39
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	40 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	41 <br>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	42 <h3>先週課されたもの</h3>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	43 <ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	44 <li>研究目的をもうちょっとなんとか…</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	45 <li>code segmentなのにcallされた時にエラーを出す。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	46 <li>createPruneEHPassによってどうしてjmpにならなかったのか</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	47 </ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	48 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	49
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	50 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	51 <br>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	52 <h3>エラーを出す</h3>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	53 <ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	54 <li>SelectionDAGBuilder.cppのLowerCallTo関数でチェック</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	55 <li>LowerCallTo関数でチェック<ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	56 <li>LowerCallTo関数が呼び出す関数を辿って行くとTCEするかどうか調べる処理群にたどりつく。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	57 <li>LowerCallTo関数がCallLoweringInfoを作るときに呼び出す関数がTarget依存のようなのでここで調べるといちいちTarget毎に書かなくていい。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	58 </ul></li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	59 <li>callerとcalleeがcode segmentの時にtail call flagがfalseにされていたらerrorを出す。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	60 </ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	61 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	62
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	63 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	64 <br>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	65 <h3>llvm::Typeについて</h3>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	66 <ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	67 <li>errorを出させるときになぜかexit()がcode segmentと言われて怒られた。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	68 <li>llvm側のTypeは基本はvoidと同じようにして扱い、__codeであることがわかればいいことからis__Codeというflagを設けそれを用いて判断していた。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	69 <ul><li>なぜかcode segmentでない関数もis__Codeがtrueになっていた</li></ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	70 </ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	71 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	72
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	73 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	74 <br>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	75 <h3>llvm::Typeについて(解決編)</h3>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	76 <ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	77 <li>原因：llvmのFunctionTypeが参照するReturnTypeは型毎に同じアドレスのオブジェクトを参照している！</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	78 <li>なので一つのコードセグメントに対してFlagを建てた時に全てのvoid関数がコードセグメントとして扱われることになっていた</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	79 <li>これより、flagを廃止して__CodeTyを作成する方向に変更。"include/llvm/IR/Type.h"でIDを定義して"lib/IR/Type.cpp"で関数を書く。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	80 </ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	81 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	82
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	83 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	84 <br>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	85 <h3>エラー</h3>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	86 <ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	87 <li>Emiterrorという関数をつかって出力できた。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	88 </ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	89 <p><img src="./tailCallError.png"></p>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	90 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	91
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	92 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	93 <br>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	94 <h3>createPruneEHPassを通すとjmpにならない</h3>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	95 <ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	96 <li>createPruneEHPassが実際のところなにをしているのかまではいまいち…</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	97 <li>createPruneEHPassを通ると例の直後にreturnが来てるかどうかの部分でひっかかかる。<ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	98 <li>unreachableになっていた。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	99 </ul></li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	100 </ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	101 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	102
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	103 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	104 <br>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	105 <h3>createPruneEHPassを通すとjmpならない(回避策)</h3>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	106 <ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	107 <li>unreachableの時にはGuranteedTailCallOptがtrueじゃないといけない。<ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	108 <li>GuranteedTailCallOptをtrueにする場合、CallingConventionに制限がかかる。<ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	109 <li>それを避けたくてGuaranteedTailCallOptを入れていなかった…。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	110 </ul></li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	111 </ul></li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	112 <li>どのCallingConventionでなければならないかはTarget Machineによって異なる。<ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	113 <li>X86はFastCC,HiPE,GHC。ARMArch64はFastCCだけ。等</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	114 </ul></li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	115 </ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	116 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	117
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	118 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	119 <br>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	120 <h3>回避策としてCallingConventionをFastCCにした場合</h3>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	121 <ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	122 <li>O0では特に問題なし。TCEもされる。エラーも出ない。</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	123 <li>O2だと一部callのまま…。(factorialの場合複数あるprint_factorialのうち１つだけcall)</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	124 <li>しかもエラー出ない。<ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	125 <li>つまりTail Call Flagのチェック以後にcallにされている？</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	126 <li>どちらにしてもエラーを吐く場所を変えないといけない可能性</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	127 </ul></li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	128 <li>print_factorialが複数生成されているのはそういう最適化？</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	129 </ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	130 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	131
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	132 <article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	133 <br>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	134 <h3>次</h3>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	135 <ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	136 <li>print_factorialがjmpにならない原因を探る</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	137 <li>必要であればエラーを出力する場所を変更</li>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	138 </ul>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	139 </article>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	140
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	141 </section>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	142 </body>
845ff8ff4fc9 1st Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> parents: diff changeset	143 </html>

Mercurial > hg > Members > kaito > slides

annotate before_s6/2013/old/2013_10_8.html @ 5:ab2d529bb1d7