random musings and comments
Is it possible to do software development, mathematical or not, as mathematician in academics? This is a question I was asking myself recently a lot, seeing my own development from logician at a state...
Recently I have been programming quite a lot in R, and today stumbled over the problem to implement a kind of monitoring loop in R. Typically that would be a infinite loop with sleep...
As mentioned on sunweaver’s blog Debian’s GTK-3+ v3.21 breaks Debian MATE 1.14, Gtk3 is breaking apps all around. But not only Mate, probably many other apps are broken, too, in particular Nemo (the file...
昨日僕の大学の契約が切れてしまった。これまで６年半北陸先端科学技術大学院大学で准教授として務めていたが、新年度から延長されないことになった。従って、新しい勤め先を探しているー僕の年齢を見るとあまりよろしくない。５年の件を潜脱した先端大学へ感謝！ 大学の関係の興味は研究と教育である。研究の分野は数学論理学、基礎情報学、形式論理など。最近カリー・ハワード同型対応をゲーデル論理とハイパーシーケント計算へ拡張の研究している。研究と教育について、詳細は「論理」から閲覧できる。 次の興味点はソフトウェア開発である。長年、オープンソース・プロジェクトの開発に積極的に携わってきた。多くのユーザーを抱える複数のソフトウェア開発に関与しており、その幅は学術的なものから産業に利用されている実用的なものに至るまで様々である。詳細は「software projects」から閲覧できる。 そのうえ、最近父親になったから、大学ならば、北陸地方で、ソフトウェア開発者として、リモートで働ける勤め先は一番いい。 誰かがいい提案があれば、是非教えてください。とりあえずハローワークと赤ちゃんとの生活を楽しんでいる。 emailPrintFacebookGoogle+TwitterLinkedinFlattr
Yesterday my contract with my university JAIST ended. I was working there as Associate Professor for 6.5 years, but the university decided not to extend my contract (financial problems, foreigner in Japan). That means,...
Since quite some time I am using OfflineIMAP to keep my mailbox status from various servers locally available on my machine. I did more or less follow the excellent guide A unix style mail...
While developing the script to integrate , we found a strange discrepancy between different versions of GhostScript. With the Yu fonts as distributed with OSX, newer versions of GhostScript crash, while my relatively old...
An update to my about tagging post languages with the language used. Another thing I wanted is the display of flags instead of the short code of the language. In this post I explain...
As you might have seen, I am writing this blog in a few languages, mostly English of course, but also German (my mother tongue), Italian (where I lived for 2.5 years), and recently I...
Using nautilus-sendto extensions, the nautilus-sendto program allows sending selected objects to various targets, like mail programs, removable devices, bluetooth tools etc. Unfortunately it is not possible to easily add targets to this menu. There...
