Skip to content

Instantly share code, notes, and snippets.

Avatar

Yuya Kono takoeight0821

View GitHub Profile
@takoeight0821
takoeight0821 / hello_glut.lisp
Created Dec 14, 2016
[GLUTによる「手抜き」OpenGL入門]をcommon lispで
View hello_glut.lisp
(ql:quickload :cl-glut)
(defclass main-window (glut:window)
()
(:default-initargs :pos-x 100 :pos-y 100 :width 320 :height 240 :title "hello opengl"
:mode '(:single :rgba)))
(defmethod glut:display-window :before ((w main-window))
(gl:clear-color 1 1 1 1))
View malgo.lisp
(ql:quickload '(:trivia.level2 :serapeum :trivia.ppcre :alexandria) :silent t)
(in-package :cl-user)
(defpackage :malgo
(:use :cl :trivia.level2 :trivia.ppcre)
(:export :parse))
(in-package :malgo)
(alexandria:define-constant +number-re+ "^(\\+|\\-|)([0-9]+(?:\\.[0-9]+|))" :test #'string=)
(alexandria:define-constant +number-without-sign-re+ "^([0-9]+(?:\\.[0-9]+|))" :test #'string=)
@takoeight0821
takoeight0821 / oxgame.lisp
Created Jul 5, 2017
マルバツゲーム
View oxgame.lisp
(defparameter *board*
(list #\_ #\_ #\_
#\_ #\_ #\_
#\_ #\_ #\_))
(defun show-board (board)
(format t " 012~%")
(format t "0 ~{~a~}~%" (subseq board 0 3))
(format t "1 ~{~a~}~%" (subseq board 3 6))
(format t "2 ~{~a~}~%" (subseq board 6 9)))
View easy.c
#include <stdio.h>
int main(void) {
char* flag = "FLAG{hello_world}";
puts("hello");
return 0;
}
View hard.c
#include <stdio.h>
int main(void) {
char flag[12];
flag[0] = 'F';
flag[1] = 'L';
flag[2] = 'A';
flag[3] = 'G';
flag[4] = '{';
flag[5] = 'h';
@takoeight0821
takoeight0821 / bf.rs
Created Dec 13, 2017
RustでBFインタプリタ(なんもわからん)
View bf.rs
use std::io::{self, Read, stdin};
use std::collections::HashMap;
#[derive(Debug)]
struct BFM {
program: String,
tape: Vec<i32>,
ip: usize,
dp: usize,
braces: HashMap<usize, usize>,
@takoeight0821
takoeight0821 / Demo.v
Created Jan 6, 2018
ひろしま学生IT勉強会で発表した資料です
View Demo.v
Theorem p : forall (A : Type)
(b : bool)
(x : A),
(if b then x else x) = x.
Proof.
intros A b x.
destruct b.
- reflexivity.
- reflexivity.
Qed.
@takoeight0821
takoeight0821 / othello.c
Last active May 22, 2018
『実用Common Lisp』に出てくるオセロをCに移植(単純なCPU対戦まで)
View othello.c
#include <stdio.h>
#include <stdlib.h>
#include <time.h>
#include <limits.h>
#define EMPTY 0
#define BLACK 1
#define WHITE 2
#define OUTER 3
@takoeight0821
takoeight0821 / polyrec.hs
Created May 31, 2018
これは多相再帰型が一般には推論できないみたいな話なのか
View polyrec.hs
data T = A | B | C T
deriving (Show, Eq)
class HasT a where
t :: a -> T
instance HasT T where
t = id
instance HasT a => HasT (Maybe a) where
@takoeight0821
takoeight0821 / Fib.v
Last active Jun 13, 2018
ひろしま学生IT勉強会で発表した資料です
View Fib.v
(* 普通の再帰で書いたfibと、末尾再帰のfibが等しいことをCoqで証明
http://www.madsbuch.com/blog/100-days-of-fibonacci-day-7-coq/
を参考にした。
*)
From mathcomp Require Import ssreflect.all_ssreflect.
Fixpoint fib1 (n : nat) : nat :=
match n with
| 0 => 0
| 1 => 1