voluntas

すごいErlangゆかいに学ぼう!出版を祝う会

日時

7/9 入場 19:30 開始 20:00

場所

VOYAGE 様 Ajito (東京都渋谷区神泉町8-16　渋谷ファーストプレイス8F)

費用

ピザとか寿司とか何か取りたいので一人 1500 円をお願いします

目的

Gab-km

class Adder implements Applyable {
    @override
    public int func(int a, int b) {
        return a + b;
    }
}

Gab-km

// TVar -> TResult
interface Applyable<TVar, TResult> {
    public abstract TResult apply(TVar variable);
}

ihcomega56

import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;
import java.text.Normalizer;
import java.util.HashMap;
import java.util.Map;

/**
 *
 * @author ihcomega

yyYank

// この辺りを眺めながら書いている
// https://gist.github.com/gakuzzzz/8d497609012863b3ea50#functor
// https://github.com/backpaper0/sandbox/blob/master/functor-applicative-study/src/main/scala/functor-applicative-study.scala
// https://bitbucket.org/cocoatomo/categorical/src/ac1a9340e607abc1691dd9f07b9f8f253a418fd6/src/main/java/co/coatomo/math/categorical/typeclass/functor/FList.java?at=default&fileviewer=file-view-default

interface Function1<T> {
    fun <B> apply(value: T): Functor<B>
}

interface Function2<T, R> : Functor<T> {

kumonopanya

def powmod(a,k,m)
  return a ** k % m
end

p powmod(3,2,7)
p powmod(3,2,6)
p powmod(3,2,5)
p powmod(3,2,4)

p powmod(3,(2**22),4)

yoshinari-nomura

(when (and (>= emacs-major-version 24)
           (eq window-system 'ns))
  ;; フォントセットを作る
  (let* ((fontset-name "myfonts") ; フォントセットの名前
         (size 14) ; ASCIIフォントのサイズ [9/10/12/14/15/17/19/20/...]
         (asciifont "Menlo") ; ASCIIフォント
         (jpfont "Hiragino Maru Gothic ProN") ; 日本語フォント
         (font (format "%s-%d:weight=normal:slant=normal" asciifont size))
         (fontspec (font-spec :family asciifont))
         (jp-fontspec (font-spec :family jpfont)) 

shirou

#!/usr/bin/env python
# -*- coding: utf-8 -*-

from subprocess import Popen
import shlex
import sys
import os

SPHINXOPTS = ""
SPHINXBUILD = "sphinx-build"

halcat0x15a

import scalaz._, Scalaz._

object MaxValue extends App {

  val a = Map(1 -> 10, 2 -> 5)
  val b = Map(2 -> 10, 3 -> 7)
  val c = a.mapValues(Tags.MaxVal) |+| b.mapValues(Tags.MaxVal)
  (c: Map[Int, Int]) assert_=== Map(1 -> 10, 2 -> 10, 3 -> 7)

}

qnighy

Require Import Coq.Setoids.Setoid.

Record Group:Type := {
  g_set : Type;
  g_mult : g_set -> g_set -> g_set;
  g_assoc a b c : g_mult (g_mult a b) c = g_mult a (g_mult b c);
  g_id : g_set;
  g_id_r a : g_mult a g_id = a;
  g_inv : g_set -> g_set;
  g_inv_r a : g_mult a (g_inv a) = g_id