changeset 17:a873cb5949cd default tip

Fix format.
author Kaito Okura <e175748@ie.u-ryukyu.ac.jp>
date Tue, 15 Sep 2020 16:55:43 +0900
parents 404d88c60399
children
files midterm.pdf text/abyss.tex
diffstat 2 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
Binary file midterm.pdf has changed
--- a/text/abyss.tex	Tue Sep 15 16:51:40 2020 +0900
+++ b/text/abyss.tex	Tue Sep 15 16:55:43 2020 +0900
@@ -1,5 +1,5 @@
 \section{Abyssサーバー}
-本稿で提案しているAbyssサーバーはクライアント側から投げられたRakuスクリプトを実行するためのサーバーである.
+本稿で提案しているAbyssサーバーはクライアント側から送られたRakuスクリプトを実行するためのサーバーである.
 
 Figure2はAbyssサーバーを用いたRakuの実行手順である.
 AbyssサーバーはユーザーがRakuを直接立ち上げるのではなく, まず同一ホスト内でAbyssサーバーを起動し, ユーザーはAbyssサーバーにファイルパスをソケット通信で送り, Abyssサーバーがファイルを開き実行し, その実行結果をユーザーに返す.