amutake

Array.prototype.map.call(document.querySelectorAll("table tbody tr"), function (tr) { var c = tr.children; return c[2].textContent + "年" + c[3].textContent + "組" + "『" + c[4].textContent + "』"; }).join("\n");

amutake

#!/usr/bin/env bash

FOCAL=focal.dat
WC=~/tmp/wc.rb

if [[ "$1" == "-t" && ! -z "$2" ]]; then
  exiftool -T -focallengthin35mmformat *.JPG | grep -v '-' | awk '{print NR, $0}' > $FOCAL
  gnuplot -p -e "set terminal png; set term png size 2000,500; set term png font 'ヒラギノ丸ゴ ProN W4, 16'; set output '$2'; set xlabel 'n枚目'; set ylabel '焦点距離'; plot '$FOCAL' using 1:2:(1) with boxes"
  rm $FOCAL
  open $2

amutake

require 'csv'

classes = {}
file = ARGV[1]

GENEKI = '現役生'
OBOG = 'OBOG'
OTHER = 'その他'

CSV.foreach(file) do |row|

amutake

Set Implicit Arguments.
Unset Strict Implicit.

(** Type Definitions *)

Inductive IndexedContsT (W M : Type -> Type) (R O A : Type) : Type :=
| mkIndexedContsT : (W (A -> M O) -> M R) -> IndexedContsT W M R O A.

Definition runIndexedContsT W M R O A (c : IndexedContsT W M R O A) : W (A -> M O) -> M R :=
  match c with

amutake

package finch.bug

import io.finch._
import com.twitter.io.Buf
import com.twitter.finagle.http._
import com.twitter.util.{ Await, Duration }

object Main extends App {

  val string = "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"

amutake

/*
 * File:   main.c
 * Author: amutake
 *
 * Created on November 22, 2015, 1:43 PM
 * 
 * シリアル通信で、なんかデータ (char 型) を送ると Analog In の値を送り返してくる。
 * 使うピンは以下の通り
 * 
 * RB1: RX

amutake

#!/usr/bin/env runghc

import Distribution.Simple.InstallDirs -- Cabal package
  ( platformTemplateEnv
  , fromPathTemplate, toPathTemplate
  , substPathTemplate
  )
import Distribution.System (buildPlatform) -- Cabal package
import System.Process -- process package
  ( shell

amutake

Require Import Coq.Strings.Ascii.
Require Import Ssreflect.ssreflect Ssreflect.eqtype Ssreflect.ssrbool.

Definition eqascii (a a' : ascii) : bool :=
  match a, a' with
    | Ascii b0 b1 b2 b3 b4 b5 b6 b7, Ascii b0' b1' b2' b3' b4' b5' b6' b7' =>
      (b0 == b0') && (b1 == b1') && (b2 == b2') && (b3 == b3') &&
      (b4 == b4') && (b5 == b5') && (b6 == b6') && (b7 == b7')
  end.

amutake

module Main where

import Control.Monad
import Data.Array.IO
import System.Random

type Name = String

-- 通常
participants :: [Name]

amutake

package me.amutake

import akka.actor._

object RingBenchmarks {

  sealed trait Msg
  case class Start(n: Int, t: Int) extends Msg
  case class Next(next: ActorRef) extends Msg
  case object End extends Msg