コメントするQiitaでまとまった記事(全体はこちら)を書いてみようかと思っています。Bootを利用してWebアプリ化というところが目標。ダイクストラ法までは記事にしてみました。時間を見つけてブラッシュアップしていきます。コメントするQiitaにグラフ可視化に関連した軽い話題を書いてみました。背景としては、Cytoscape.jsをグラフ(ネットワーク)描画に利用してみたいということがある。学生にオートマトンなどの計算理論を教える機会があったのですが、そのとき結構面倒だったのが、講義スライドや演習の例題のオートマトンの状態遷移図を書くことでした。コメントする技術的な記事を投稿しましたグラフデータベースNeo4jを用いた幅優先探索の実装例を紹介する。Neo4jは通常は、Cypherというグラフデータベース検索言語を利用してアクセスする。Cypherは、グラフに対するパターンマッチを容易にすることに特徴があるが、Neo4jにビルトインで組み込まれている探索アルゴリズムを呼び出すことも可能である。よって、Neo4jを利用して幅優先探索を行う場合、自前でアルゴリズムを実装する必要は基本的にはない。コメントするひさびさに技術的な記事を書いて見ました。グラフデータベースNeo4jは、主にCypherという独自のグラフデータベース検索言語を使って利用する。最短経路探索などのアルゴリズムはビルトインされている。グラフデータベースが使えるのであれば、自分で作ったアルゴリズムを利用したいだろう。直接グラフデータベースにアクセスする方法もあるが、Neo4jにはユーザ定義のプロシージャを組み込む機能が用意されている。コメントする4月から始める講義、計算数理(オートマトンと形式言語)に関する参考文献をこちらにまとめました。コメントするこれはqiitaに掲載した記事と同じ内容です。はじめにオートマトンや形式言語の理論は、コンピュータ・サイエンスを学ぶ学生にとっては、(必修ではないが)学ぶことが望ましいコースとしての立ち位置を確立してはいるものの、形式的にすぎるとか、実応用にかけるとか思われがちであるとも思う。最近のAIブームな世の中に、計算機ができることが何か?という問題は重要になっており、もう一度(古典を)学び直すことは有意義ではないかと思っている。実際に、川添愛さんが童話仕立てな物語にする試みがあったり、高岡詠子さんがブルーバックスを比較的最近(2014年)に出したりと、世の中から少し思い出されているのではないだろうか。そこで最近、どんな情報が世の中に出ているのか調べてみた。Ullman氏のホームページから、講義スライドや演習と解答等がダウンロードできるではないか(だいぶ前からではあるが)。素晴らしい時代になったものである。そこで、その講義スライドから、「なぜオートマトンを学習するのか」というさわりの部分が参考になりそうなので、抜粋し日本語にしてみた。以下、「なぜオートマトンを学習するのか」の超訳CS154(オートマトンと複雑さの理論入門)の授業にようこそ。オートマトンを学習するのかについて説明しよう。スタンフォード大学の卒業後5年の卒業生に対して、どの授業が彼らの仕事に役に立ったかに関する調査がある。CS106(Javaプログラミング入門)のような基礎的な授業は当然トップの座にくるものの、選択授業の中では、CS154は傑出して高くなっている。AIに比べても3倍のスコアである。してそうなったのだろう。正規表現は多くのシステムで使われている。有限オートマトンはプロトコルや電子回路をモデル化することができ、その理論はモデルを検証することに利用されている。文脈自由文法は、基本的に全てのプログラミング言語の構文を記述するのに利用されている(自然言語を記述する重要な役割があることを忘れてはいけないが)。DTDは全体として、実際に文脈自由文法そのものである。現実の問題に対して、解決策を開発しようとすれば、我々はしばしばソフトウェアができることの限界に直面することになる。プログラムは存在するが高速に処理することはできないこと、がある。CS154は、そのような場合にあなたの道具となる。CS154を学ぶことによって、我々は離散システムを形式的に扱う方法を学ぶことができる。あなたは、あるプログラムが正しいと証明することはきっとないだろうが、なぜトリッキーなテクニックが本当に有効になっていることを考える必要はでてくるだろう。我々は抽象的なモデルとそれを構築する経験を得ることができる。階層化されたソフトウェアのアーキテクチャをモデル化できる。おわりに思ったほど、新しい情報はなかったかもしれないが、ご参考まで...。計算論は、英語では第3版が出ていて、それで授業をやっているらしい。日本語化はまだだと思う。第1版は数学的なドライな記述の歯ごたえのあるものだったが、第2版はサンプルをプログラムで例示したり大分イメージが変わっていた。第3版はどうなっているのかは、これから確認してみたい。今回調べた中で丸岡先生の新しい本もコンパクトで良いと思った。2017についてのレポートが本日公開されました。私は少し(1セッション)書いてます。コメントするhttp://springfest2017.springframework.jp/行ってきました。若い人が多い!私は多分少し浮いてました。参加人数も多い!昨年より広い会場でしたが、それでも満杯セッション多い。関心が高そうなのは、リアクティブ、マイクロサービス。Springもまだまだ盛り上がってるということでしょうか。若い人の学びたい意欲を感じました。今回は、最近はやりなイベント開催中にtwittwerでリアルタイムでつぶやくに挑戦してみました。イベントの盛り上がりに少しでも貢献できれば...。セッションとしては、セキュリティ脆弱性やリアクティブの話がおもしろかったです。#frameworkツイートテーマをtwitter風に変更してみました。コメントするテーマをtwitter風に変更してみました。