disktnk

#星11個の数独の問題をAlloyで

解いたら3秒かかりませんでした．きっかけは 世界一難しい数独、Alloyで解いてみたよ(RocketNews24から) - dec9ue's diary の記事．処理に82秒かかったとあり「それって超難問では？」と思ったので，自分も動かしてみて，その結果を以下につらつらと．ちなみに下記AlloyのコードはAlloyのサンプルでそこら辺に転がっているのを移してきただけで，私のオリジナルではない．

abstract sig Number { data: Number -> Number }
abstract sig Region1, Region2, Region3 extends Number {}

one sig N1, N2, N3 extends Region1 {} 
one sig N4, N5, N6 extends Region2 {} 

disktnk

川中さんらの「アルゴリズムを学ぼう」のサンプルコードを愚直に写そうと思ったら，初っ端から躓いたので，そのメモ．といっても，本書のサンプルコードは正しい．MacのJava6で起こるけど，WinのJava7では再現しなかった．ちゃんと確かめてはいない．

##ひとまずリスト1-1のサンプルコードを写経

問題文は「aのk乗をmで割った余りを求めよ」で，そのままサンプルを写す．staticなのは，単純にmain関数からお手軽に呼び出したかったからというだけで，深い意味はない．

// aのk乗からmで割ったあまりを求める，本書のリスト1-1ママ
static int powmod(int a, int k, int m) {
 long t = 1;

disktnk

Application > Terminalを起動したとき，環境変数の追加その他もろもろを自動でやってほしいとき，.bashrcを編集すればよい．

初期状態では，ホームディレクトリに.bashrcファイルはないので，自分で作成する．

cd ~
vi .bashrc

例えばPATHに何かを追加したいときは，以下を足して保存．

disktnk

/**
 * immutable pair class, like c++'s Pair<br>
 * from <a href=
 * "http://stackoverflow.com/questions/156275/what-is-the-equivalent-of-the-c-pairl-r-in-java"
 * > What is the equivalent of the C++ Pair&lt;L,R&gt; in Java? - Stack Overflow </a>
 * 
 * @param <A>
 *            first
 * @param <B>
 *            second

disktnk

import java.util.Arrays;
 
public class Cards {
 
	public String[] deal(int playerNum, String deck) {
		if (playerNum < 1 || deck == null) {
			return null;
		}
		String[] results = new String[playerNum];
		Arrays.fill(results, "");

disktnk

import org.apache.commons.math3.complex.Complex;

public class ComplexArgFizzBuzz {

	public String fizzbuzz(int n) {
		Complex c = new Complex(-n % 5, n % 3);
		int index = (int) c.getArgument();
		String[] fizzbuzz = { "Fizzbuzz", "Buzz", "(^^", "Fizz" };
		switch (index) {
		case 2:

disktnk

#include "PerformanceLog.h"

#include <iostream>

namespace foo{

PerformanceLog::PerformanceLog(std::string place) : place_(place)
{
 	startTime_ = timeGetTime();
}

disktnk

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
  <key>fileTypes</key>
  <array>
    <string>fs</string>
    <string>fsi</string>
    <string>fsx</string>
  </array>

disktnk

// C++11
#include <iostream>
#include <chrono>

const auto startTime = std::chrono::system_clock::now();

// do something

const auto endTime = std::chrono::system_clock::now();
const auto elapse = endTime - startTime;

disktnk

import static org.hamcrest.CoreMatchers.is;
import static org.hamcrest.MatcherAssert.assertThat;

import java.util.Arrays;

import org.junit.Test;

/**
 * ArraysBinarySearchTest
 */