lecture2

Author: wakita

Makefile

@@ -4,9 +4,7 @@
 .DEFAULT: html
 all: html note quiz
 
-BASE     := localhost:8082
-
-SLIDES   := $(basename $(notdir $(wildcard slide/day*.md)))
+SLIDES   := $(basename $(notdir $(wildcard slide/lx*.md)))
 HTML_TMP := $(addprefix docs/tmp/,  $(addsuffix .html, $(SLIDES)))
 HTML     := $(addprefix docs/html/, $(addsuffix .html, $(SLIDES)))
 PDF      := $(addprefix docs/pdf/,  $(addsuffix .pdf,  $(SLIDES)))
@@ -37,13 +35,15 @@ docs/html/%.html: $(HTML_DEV) slide/%.md
 	@# Firstly, Pandoc generates a temporary HTML file:
 	@# slide/*.md -> tmp/*.html
 	@echo "pandoc:    $(md) => $(html1)"
-	@pandoc docs/dev/slide.yaml $(md) \
+	@pandoc lib/slide.yaml $(md) \
 	  --to=revealjs --slide-level=2 \
 	  --standalone \
 	  --output=$(html1) \
- 	  -V revealjs-url=../lib/reveal.js-3.5.0 \
+ 	  -V revealjs-url=/lecture/lib/reveal.js-3.5.0 \
  	  -V theme=serif \
-	  --css=../dev/kw.css \
+	  -V slideNumber=true \
+	  --css=/lecture/lib/kw.css \
+	  --mathjax \
 	  --smart
 
 	@# Then, PhantomJS is used to patch the temporary HTML and finishes it.
@@ -76,7 +76,7 @@ docs/quiz/%.html: quiz/%.md
 	  --smart
 
 server:
-	@wget --quiet --spider "http://$(BASE)/" || (cd docs; php -S $(BASE) &)
+	@wget --quiet --spider "http://localhost:8080/" || (cd $(HOME)/Sites; php -S localhost:8080 &)
 
 shutdown:
 	@killall php

build.sbt

@@ -0,0 +1,87 @@
+// ライブラリ群
+
+val scalactic = "org.scalactic" %% "scalactic" % "3.0.1"
+
+// テストのために使う ScalaTest ライブラリ
+val scalatest = "org.scalatest" %% "scalatest" % "3.0.1" % "test"
+
+// データ生成テストのために使う ScalaCheck ライブラリ
+val scalacheck = "org.scalacheck" %% "scalacheck" % "1.13.4" % "test"
+
+// 並行処理のための Akka Actor ライブラリ
+val akka_actor = "com.typesafe.akka" % "akka-actor_2.12" % "2.5.4"
+
+lazy val commonSettings = Seq(
+  organization := "prg17.is.titech.ac.jp",
+  version := "0.1.0-SNAPSHOT",
+
+  // scalac に与えるオプション
+  scalaVersion := "2.12.3",   // コンパイルに使う scalac のバージョン
+  scalacOptions := Seq("-feature", "-unchecked", "-deprecation"),
+  libraryDependencies ++= Seq(scalactic, scalatest, scalacheck),
+
+  fork in (Test, run) := true,
+  connectInput := true,
+  // Scalaのプログラムの置き場所を非標準の場所に指定．
+  // 通常は src/scala/*.scala, test/scala/*.scala に置く．
+  // これはJavaとの共存のためにsrcとtestの下をScalaとJavaで棲み分けるためである．
+  // 本実習ではJavaのプログラムを書くことはないので，非標準だがより単純な設定を採用する．
+  scalaSource in Compile := baseDirectory.value / "src",
+  scalaSource in Test    := baseDirectory.value / "test",
+
+  // コンパイル結果を非標準の場所に設定
+  // この設定はコンパイルの副産物がDropbox等のクラウドストレージに保存されることを
+  // 避けるためのものです。これによりクラウドストレージとの同期時間が短縮されます。
+  target := Path.userHome / "tmp" / "sbt" / "prg1b" / name.value
+)
+
+lazy val root = (project in file("."))
+//.aggregate(lx02)
+
+lazy val lx02 = project
+  .settings(commonSettings)
+  .settings(name := "lx02", version := "0.1.0")
+
+lazy val lx02a = project
+  .settings(commonSettings)
+  .settings(name := "lx02a", version := "0.1.0")
+
+lazy val lx02b = project
+  .settings(commonSettings)
+  .settings(name := "lx02b", version := "0.1.0")
+
+lazy val lx02c = project
+  .settings(commonSettings)
+  .settings(name := "lx02c", version := "0.1.0")
+
+lazy val lx02d = project
+  .settings(commonSettings)
+  .settings(name := "lx02d", version := "0.1.0")
+
+lazy val lx02e = project
+  .settings(commonSettings)
+  .settings(name := "lx02e", version := "0.1.0")
+
+lazy val lx02f = project
+  .settings(commonSettings)
+  .settings(name := "lx02f", version := "0.1.0")
+
+lazy val lx02g = project
+  .settings(commonSettings)
+  .settings(name := "lx02g", version := "0.1.0")
+
+lazy val lx02h = project
+  .settings(commonSettings)
+  .settings(name := "lx02h", version := "0.1.0")
+
+lazy val lx02i = project
+  .settings(commonSettings)
+  .settings(name := "lx02i", version := "0.1.0")
+
+lazy val lx02j = project
+  .settings(commonSettings)
+  .settings(name := "lx02j", version := "0.1.0")
+
+lazy val lx02k = project
+  .settings(commonSettings)
+  .settings(name := "lx02k", version := "0.1.0")

docs/dev/kw.css

@@ -4,10 +4,10 @@ const fs = require('fs');
 const page = require('webpage').create();
 const system = require('system');
 
-const base_url = 'http://localhost:8082/';
-const document_url = base_url + 'tmp/' + system.args[1] + '.html';
-const jquery_url = base_url + 'dev/jquery-3.2.1.min.js';
-const script_url = base_url + 'dev/kw.js';
+const base_url = 'http://localhost:8080';
+const document_url = base_url + '/lecture/tmp/' + system.args[1] + '.html';
+const jquery_url = base_url + '/lecture/dev/jquery-3.2.1.min.js';
+const script_url = base_url + '/lecture/dev/kw.js';
 const html = system.args[2];
 
 console.log(document_url, script_url, html);

docs/dev/phantom.js

@@ -1,3 +1,3 @@
 <link ref="stylesheet" type="text/css" href="../lib/reveal.js-3.5.0/css/theme/solarized.css">
-<link rel="stylesheet" type="text/css" href="../dev/kw.css">
+<link rel="stylesheet" type="text/css" href="/is-prg1b/lib/kw.css">
 <script src="//use.edgefonts.net/source-code-pro.js"></script>