Posts

New course 'Poetry of Programming' took off

Poetry of Programming - Puzzle-based Introduction to Functional Programming This course at AIU aims to share the empowering and fun experience of writing computer programs. It is a gentle introduction to functional programming (in Clojure https://clojure.org/), which is based on very simple mathematical ideas and it is currently gaining widespread adoption in software industry. According to stackoverflow, it also appears to be well-paid. https://stackoverflow.com/insights/survey/2017#technology-top-paying-technologies-worldwide Is this course for you? First of all, you do NOT need any previous programming experience.

An algebraic view of computation

I am not particularly interested in doing philosophy, as my research is about using computers to extend mathematical knowledge. But it turns out that this involves questions that are not mathematical or technical, but of fundamental nature. I write code and run computer experiments all the time, so the question `What is computation?’ is on my mind continuously. Here is an attempt, a draft version of a somewhat philosophical paper to address the question for the $(n+1)$th time.

Euler's Formula in College Algebra

Once complex numbers are introduced in a College Algebra/PreCalculus course, why not discuss Euler’s formula? Especially the equation $e^{\pi i}+1=0$, that looks good on a T-shirt. A full proof is out of question, but the power series definitions of the exponential and trigonometric functions provide a walkable path up to the summit. With a computer algebra system it is easy to demonstrate how the approximations work, just by entering a few terms of the infinite sums.

Talk on finite computational structures

Here are the slides for my talk “Finite Computational Structures and Implementations” for the The 4th International Symposium on Computing and Networking CANDAR’16 held in Hiroshima, Japan, November 22-25, 2016.

The photo was taken in the Higashi Hiroshima Arts and Culture Hall, the venue of the conference.

Digital Studies Hackathon at AIU

Teaching, digitally disrupted (PDF) mini keynote and Hackathon guidelines (PDF) in general and for curriculum design in particular. These documents were prepared for the Digital Studies Hackathon Event at Akita International University, 2016 November 26. http://www.aiu-digitalstudies.org/