- 探索者は毎ラウンドにつき3ポイントの行動ポイントが与えられる
- 行動ポイント1を消費する毎に1マス移動できる
- 攻撃や応急手当などの行動を行う場合は行動ポイントをすべて消費
- 回避/受け流しは毎ラウンドに1回のみ可能とする
- ラウンドの頭で「回避集中」を宣言すると回避/受け流しのポイントを2倍にしそのラウンド中何度でも回避/受け流しができるようになる。ただし行動ポイントは0になる
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
package main | |
import ( | |
"context" | |
"sync" | |
) | |
// Dispatcher represents a job dispatcher. | |
type Dispatcher struct { | |
sem chan struct{} // semaphore |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
img/mlscala-repl/*.png |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
slides.pdf |
Pythonは文字コードが闇とよく言われるけど、文字コードについて正しく理解していればそんなに難しくはないと思う。 ドキュメントを読めば全部書いてあるけど長い。インターネットに転がっているブログでは「unicode文字列は、文字列をunicode型で保持する」というような説明になっていないようなブログや「u'....' のように、頭に"u"をつけて、 この文字列がUTF-8で書かれている事を明言」など間違ったことを書いているエントリが多い(しかもそれが人気記事だったりするしどうなっているんだ) ということでざらっと説明することにした。詳しくはやっぱり公式ドキュメントを読もう。
- Symbolic execution - Wikipedia
- King, James C. "Symbolic execution and program testing." 1976 (pdf)
- DART: Directed Automated Random Testing
- CUTE: A Concolic Unit Testing Engine for C
- Jeff Foster, "Symbolic Execution," 2011 (pdf)
- シンボリック実行に入門しようとした - 一生あとで読んでろ
- テスト入力値の自動生成と、concolic testing - ソフトウェアの品質を学びまくる
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
PenroseLSystem ds; | |
final int ZERO = 48; // ascii '0' equal to 48 | |
final int NINE = 57; // ascii '9' equal to 57 | |
void setup() { | |
size(640, 640); | |
ds = new PenroseLSystem(1000.0); | |
ds.simulate(5); | |
} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
void setup() { | |
size(3035, 4299); | |
} | |
void draw() { | |
float degree = 30.0; | |
float theta = radians(degree); | |
float initialHeight = 500.0; | |
float weight = 50.0; | |
int count = 14; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
digraph { | |
graph [ | |
rankdir = LR; | |
]; | |
root; | |
node [ | |
shape = circle, | |
height = 0.3 | |
]; | |
root -> mid [ label = "a" ]; |