Ryo Ishigaki risgk

## arith_big.rb
# TYPES AND PROGRAMMING LANGUAGES by Benjamin C. Pierce Copyright (c)2002 Benjamin C. Pierce
# Excercise 3.5.17

class Array
  def isnumericval
    t = self
    case
    when t[0] == :zero
      true
    when t[0] == :succ

## untyped.rb
# Modifying http://www.cis.upenn.edu/~bcpierce/tapl/checkers/untyped/ for learning TAPL.
# TYPES AND PROGRAMMING LANGUAGES by Benjamin C. Pierce Copyright (c)2002 Benjamin C. Pierce

def isnamebound(ctx, x)
  if ctx[0].nil?
    false
  else
    y = ctx[0][0]; rest = ctx.drop(1)
    if y == x
      true

## simplebool.rb
# Modifying http://www.cis.upenn.edu/~bcpierce/tapl/checkers/simplebool/ for learning TAPL.
# TYPES AND PROGRAMMING LANGUAGES by Benjamin C. Pierce Copyright (c)2002 Benjamin C. Pierce

# ------------------------   SYNTAX  ------------------------

# Context management

def addbinding(ctx, x, bind)
  [[x, bind]] + ctx
end

## Nagoya_de_Ruby_Part_I.txt

名古屋でRuby, パートI
September 11, 2013
@risgk


## simplebool_with_case_class.rb
# Modifying http://www.cis.upenn.edu/~bcpierce/tapl/checkers/simplebool/ for learning TAPL.
# TYPES AND PROGRAMMING LANGUAGES by Benjamin C. Pierce Copyright (c)2002 Benjamin C. Pierce

# $ gem install case_class
# ref: http://github.com/mame/case_class
require "case_class"
# CAUTION: Monkey patching!
module CaseClass
  class Case < Struct
    def ==(obj)

## ruby-arduino-synth.md

      
              1 file
            
          
              0 forks
            
          
              2 comments
            
          
              2 stars
            
          
                risgk
                / ruby-arduino-synth.md
            
            
              Last active
              May 30, 2019 16:34
            
              
                Ruby x Arduinoでシンセサイザーを作ってみた #hmrk01
              
          
    Ruby x Arduinoでシンセサイザーを作ってみた


2015/03/28 浜松Ruby会議01


Hamamatsu.rb 石垣 良


## 2016-11-26_hamait.txt


# ISGK Instrumentsの活動紹介

* 浜松IT合同勉強会 LT大会
* 2016/11/26(土) @risgk
    * <http://risgk.github.io/>


## generate-osc-table-vra8-n-psaw-16.rb
require_relative 'constants'

PSEUDO_SAW_STEPS = 16
REDUCE_OSC_TABLE_SIZE_1 = false

$file = File.open("osc-table.h", "w")

$file.printf("#pragma once\n\n")

def freq_from_note_number(note_number)
	# TYPES AND PROGRAMMING LANGUAGES by Benjamin C. Pierce Copyright (c)2002 Benjamin C. Pierce
	# Excercise 3.5.17

	class Array
	def isnumericval
	t = self
	case
	when t[0] == :zero
	true
	when t[0] == :succ
	# Modifying http://www.cis.upenn.edu/~bcpierce/tapl/checkers/untyped/ for learning TAPL.
	# TYPES AND PROGRAMMING LANGUAGES by Benjamin C. Pierce Copyright (c)2002 Benjamin C. Pierce

	def isnamebound(ctx, x)
	if ctx[0].nil?
	false
	else
	y = ctx[0][0]; rest = ctx.drop(1)
	if y == x
	true
	# Modifying http://www.cis.upenn.edu/~bcpierce/tapl/checkers/simplebool/ for learning TAPL.
	# TYPES AND PROGRAMMING LANGUAGES by Benjamin C. Pierce Copyright (c)2002 Benjamin C. Pierce

	# ------------------------ SYNTAX ------------------------

	# Context management

	def addbinding(ctx, x, bind)
	[[x, bind]] + ctx
	end
	# Modifying http://www.cis.upenn.edu/~bcpierce/tapl/checkers/simplebool/ for learning TAPL.
	# TYPES AND PROGRAMMING LANGUAGES by Benjamin C. Pierce Copyright (c)2002 Benjamin C. Pierce

	# $ gem install case_class
	# ref: http://github.com/mame/case_class
	require "case_class"
	# CAUTION: Monkey patching!
	module CaseClass
	class Case < Struct
	def ==(obj)



	# ISGK Instrumentsの活動紹介

	* 浜松IT合同勉強会 LT大会
	* 2016/11/26(土) @risgk
	* <http://risgk.github.io/>
	require_relative 'constants'

	PSEUDO_SAW_STEPS = 16
	REDUCE_OSC_TABLE_SIZE_1 = false

	$file = File.open("osc-table.h", "w")

	$file.printf("#pragma once\n\n")

	def freq_from_note_number(note_number)