qnighy

Coqはじめる人に説明する用文章

Coqとは何か？

形式的定理証明をするためのプログラミング言語と開発環境のセットです。

Coqで何ができるの？

rirakkumya

def index(id:String) = Action {
  getFirstData(id)
}
private def getFirstData(id:String) = {
  Cache.get(id) match {
    case Some(id2) => getSecondData(id2)
    case None => NotFound
  }
}
private def getSecondData(id2:String) = {

takungsk

Dispatch の Request と Handler

##Request RequestはHTTPアクセスに必要な情報を持っています。

どのような値が設定されているか確認するには、次のメソッド(変数)で確認します。

class Request {
  val body: Option[HttpEntity]

val creds: Option[Credentials]

rirakkumya

libraryDependencies += "org.scala-tools.testing" %% "scalacheck" % "1.9"

j5ik2o

commons-daemonの依存関係を追加する

次のようにproject/Build.scala を編集する。

object ApplicationBuild extends Build {
    // ...
    val appDependencies = Seq(
      "commons-daemon" % "commons-daemon" % "1.0.10"
    )

// ...

j5ik2o

やりたいこと

複数の名前空間に定義されるスキーマを別パッケージのオブジェクトとして生成したい。sbtで。

build.sbt

packageName in scalaxb in Compile := "api.model"

sourceGenerators in Compile <+= scalaxb in Compile

rirakkumya

libraryDependencies += "net.liftweb" %% "lift-json" % "2.4"

rummelonp

jquery-ujs.js（rails.js）便利だよって話

自前でやる場合

JavaScript でクリックのイベント処理とか GET 以外ならトークンを含めるとか全部やらないといけないから面倒くさい

HTML

<a href="/some_action" class="some-action">some action</a>

draftcode

構文解析 Howto

Author:	draftcode
Date:	2011-11-11T13:18:07+09:00
ID:	289a0136-0c1c-11e1-a06b-040ccee352e6

こうぶん、かいせきー

qnighy

* IOI2010 アルゴリズム以外の周辺まとめ by qnighy
あくまでqnighyの習慣にあわせたまとめであることに注意。

** RunCについて
RunCを用いたprintfデバッグは困難である。
デバッガはgdbとdddのみが用意されているが、これらは使いづらい。Emacs使いなら何とかなるかもしれないが、僕はEmacs使いではない。
そのため、開発中は自前でコンパイルし、提出前にRunCで動作確認するのが良いと考えられる。(開発用とRunC用のディレクトリを分けたほうがいいかもしれない)
以下はMakefileのサンプルである。

CXXFLAGS = -O2 -Wall -Wextra -Wno-unused-result -g