Skip to content

Instantly share code, notes, and snippets.

View nekketsuuu's full-sized avatar
🍑
I like peaches!

Takuma Ishikawa nekketsuuu

🍑
I like peaches!
34 followers · 44 following
View GitHub Profile
@nekketsuuu
nekketsuuu / 2015-CPU-ex-log.md
Last active February 23, 2016 04:50
@nekketsuuu
nekketsuuu / Makefile
Last active November 12, 2015 07:27
pandocを使うためのメモ。Rawで見る。 http://blogs.yahoo.co.jp/nekketsu_abacus_man/39929424.html
PANDOC = pandoc
IMPORT_JS = $(HOME)/.pandoc/pandoc_import_code_filter/import.js
MD = example
TOC =
# 入力はGitHub Markdown + タイトルブロック
# http://sky-y.github.io/site-pandoc-jp/users-guide/#title-block
FLAGS = -f markdown_github+pandoc_title_block
# standalone: 適切なヘッダ・フッタをつける(実は出力がpdfなら勝手にこのモードになる)
@nekketsuuu
nekketsuuu / .gitignore
Last active December 30, 2015 06:02
http://www.erlang.org/course/exercises.html
*~
*.beam
*.dump
@nekketsuuu
nekketsuuu / Z3_error_log_20160503
Last active May 4, 2016 01:56
https://github.com/Z3Prover/z3/issues/582
z3$ python scripts/mk_make.py
New component: 'util'
New component: 'polynomial'
New component: 'sat'
New component: 'nlsat'
New component: 'hilbert'
New component: 'simplex'
New component: 'automata'
New component: 'interval'
New component: 'realclosure'
@nekketsuuu
nekketsuuu / liquidhaskell_tutorial_chapter_3_log_20160504
Last active May 4, 2016 02:27
https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/38
src$ date
Wed May 4 10:36:38 JST 2016
src$ liquid 03-basic.lhs
LiquidHaskell Copyright 2009-15 Regents of the University of California. All Rights Reserved.
**** DONE: Parsed All Specifications ******************************************
**** DONE: Loaded Targets *****************************************************
@nekketsuuu
nekketsuuu / letter_each_convert.sh
Last active May 12, 2016 07:34
https://scratch.mit.edu/projects/108678258/
#! /bin/bash
if [[ -n "$1" ]]; then
filename=$1
else
filename="test.in"
fi
if [[ ! -e ${filename} ]]; then
echo "File ${filename} not found."
@nekketsuuu
nekketsuuu / pred.ml
Created July 20, 2016 15:09
(* このプログラムの本質的なアイディアは、塚田武志先生にご教示頂きました *)
let succ n s z = s (n s z)
let pred n s z =
let r = ref true in
let s' m =
if !r then (r := false; m)
else s m
in n s' z
@nekketsuuu
nekketsuuu / log-1-build-failed-with-mono-4-2-1-0
Last active December 13, 2016 09:32
dotnet$ xbuild Microsoft.Z3.csproj
XBuild Engine Version 12.0
Mono, Version 4.2.1.0
Copyright (C) 2005-2013 Various Mono authors
Build started 2016/12/13 11:30:40.
__________________________________________________
Project "/home/nek/bitbucket/spacer/code/src/api/dotnet/Microsoft.Z3.csproj" (default target(s)):
Target PrepareForBuild:
Configuration: Debug Platform: AnyCPU
@nekketsuuu
nekketsuuu / count.sh
Last active January 19, 2017 17:18 — forked from uhyo/count.sh
Sotsuron word counter
#!/bin/bash
CHAP=
ALLFLAG=0
while getopts ac: OPT
do
case $OPT in
a) ALLFLAG=1;;
c) CHAP=$OPTARG;;
@nekketsuuu
nekketsuuu / Ultimate.log
Created January 25, 2017 07:20
https://github.com/ultimate-pa/ultimate/issues/103
[2017-01-25 16:18:30,686 INFO L116 UltimateCore]: Initializing application
[2017-01-25 16:18:30,687 INFO L121 UltimateCore]: --------------------------------------------------------------------------------
[2017-01-25 16:18:30,690 INFO L91 PluginFactory]: --------------------------------------------------------------------------------
[2017-01-25 16:18:30,690 INFO L92 PluginFactory]: Detecting plugins...
[2017-01-25 16:18:30,691 INFO L339 PluginFactory]: 1 IController plugins available
[2017-01-25 16:18:30,691 INFO L339 PluginFactory]: 5 ISource plugins available
[2017-01-25 16:18:30,692 INFO L339 PluginFactory]: 2 IOutput plugins available
[2017-01-25 16:18:30,692 INFO L339 PluginFactory]: 12 IGenerator plugins available
[2017-01-25 16:18:30,692 INFO L339 PluginFactory]: 6 IAnalysis plugins available
[2017-01-25 16:18:30,695 INFO L292 PluginFactory]: Loaded controller Ultimate Commandline Interface