terakun Goto Github PK

delaunay-triangulation

Delaunay三角形分割

discrete-convex-analysis

離散凸解析ゼミの資料

dm_decomposition

DM分解のC++実装

graphcut-merging-qt-ui

"Graphcut Textures: Image and Video Synthesis Using Graph Cuts"の実装

groebner-basis

calculate Groebner basis

gui-programming-app

工学博覧会企画「プログラミング教室」のソフトウェア

homology_group

calculate simplicial complex homology group

image-reconstruction

TV正則化を使ってガウシアンノイズのかかった画像を復元するプログラム

insert-boardgame

l0smoothing

L0正則化で画像を平滑化するプログラム

l1-regularization

lambda-slackbot

lambda calculus in slack

lambdacpp

単純型なしラムダ計算のC++実装

minmips

単一サイクルMIPSプロセッサのサブセット

minmips-assembler

minmipsのアセンブラ

mod13

calculation practice for F_{13}

openglcoursejp

General OpenGL Course in Japanese.

pencildrawing

鉛筆画風の画像を生成するプログラム

poissonimageediting

quoridor-python

quoridor_judge

コリドールというボードゲームをオンラインで行うためのシンプルなジャッジサーバです．

quoridor_view

コリドールのビューア

ray-tracing-in-one-weekend

Ray Tracing in One Weekendをやる

reversi

Reversi AI

spanning_tree_maze

maze generator using spanning tree

syntactic_monoid

compute starfree expression

type_inference

型推論

typed_lambda

型なしラムダ項の型を推論し，導出木を出力するプログラム

unification

１階単一化問題をナイーブに解く