Clik here to view.
Project nihon ni ryuugakusei (日本に留学生)
Starting with October 2016 I am going to Japan for 1 year with my girlfriend. Both of us got granted a student’s exchange year at the same place. Setting I will attend classes as a math undergraduate....
View ArticleClik here to view.
Boston Key Party: Graph 3-coloring with SAT solvers
The Boston Key Party was held between 4th and 6th of March 2016. A few colleagues of mine attended this event and asked for help with one particular problem: Given a graph with 683 vertices and 1253...
View ArticleTime management, an analysis
This semester I consciously decided to reduce my number of courses I take. As far as academic work is concerned I need to focus on finishing the first and second semester and finish my master thesis. I...
View ArticleClik here to view.
Buchtipp: “Darum nerven Japaner”
Fig. 1. “Darum nerven Japaner – Der ungeschminkte Wahnsinn des japanischen Alltags” Der Autor Christoph Neumann erklärt erst im Nachwort wie er dazu kam dieses Buch zu schreiben. ここがヘンだよ日本人 (laut dem...
View ArticleUsing namespaces with lxml.etree
I need to admit, when I initiated and released ruledxml for the first time, I didn’t care much about namespaces. The usecase was not prevalent in my setting. This changed now. Time to implement it...
View ArticlePaper: “Engineering a Sort Function”
“Engineering a Sort Function” by John L. Bentley and M. Douglas McIlroy gives a nice insight how theoretical algorithm design is applied in software engineering. I think I came across the paper,...
View ArticleClik here to view.
Buchtipp: “Simple Guide to Japan – Customs & Etiquette”
Cover of “Simple Guide to Japan” This booklet was published in the third edition in 1997 and authored by Helmut Morsbach. It features 80 pages in total with illustrations and a medium font size. So you...
View ArticleAn empty clause represents a contradiction
The problem I have just gone through many CNF files and come across the following file: p cnf 150 400 -3 -2 -1 0 3 2 -1 0 2 1 -3 0 [...] 150 149 98 0 150 -149 -98 0 149 -150 -98 0 98 -150 -149 0 0...
View ArticleClik here to view.
My handwriting
Tidying up a few things at home, I came across all my documents from previous years. I thought it would be nice to document how my handwriting evolved over the year. I have been to school between the...
View ArticlePaper: “Bitcoin: A Peer-to-Peer Electronic Cash System”
The fundamental paper of crypto-currency bitcoin (PDF) was written by Satoshi Nakamoto. Who is Satoshi Nakamoto? We just don’t know. Nakamoto’s bitcoins currently yield a value of $4.2 billion USD, but...
View Article