GNU GLOBALの対応言語を大幅に増やすPygmentsパーサーを導入する - Qiita
GNU GLOBAL 6.3.2 より、Pygments を利用したプラグインパーサー(以降 Pygmentsパーサー)が同梱されるようになりました。 これは Python で書かれたシンタックスハイライターである Pygments を利用し、Pygments がサポートするたくさんの種類のプログラミング言語のタグ付けを可能にするものです。 具体的には、GLOBAL-6.3.2 （2014年9月4日リリース）の新機能 に GLOBAL の作者様が書かれているように 25種類、シンボルタグのみの検索ができるものも含めれば 150種類ぐらいの言語に対応しているはずです。 個人的には、Ruby, Go, JavaScript などのタグ付けに利用しています。 そんなPygmentsパーサーですが、GLOBAL のプラグインパーサーの設定自体が少し難しい上、Pygmentsパーサーがいくつかのソフ
AIST: CSP-Proverr
News (17/12/2020) The GitHub page for CSP-Prover is available. (18/04/2020) CSP-Prover Ver.5.1 for Isabelle 2020 was released on 18 April 2020. The definitions, lemmas, and theorems are the same as CSP-Prover Ver.5.1 for Isabelle 2018. (18/02/2019) CSP-Prover Ver.5.1 for Isabelle 2018 was released on 18 February 2019. The definitions, lemmas, and theorems are the same as CSP-Prover Ver.5.1 for Isa
An Introduction to Communicating Sequential Processes (CSP) - Think Stitch - PRINCIPIA
CSP (Communicating Sequential Processes) の紹介資料 並行システムの理論 CSP (Communicating Sequential Processes) についての紹介資料を作成しました．並行システムの開発でポイントになる概念，逐次システムとの対比，CSP 理論の概要，検証手法とツールの紹介からなります． 並行システムの理論 CSP の紹介 (PDF, 2016/11/15 updated) 2016/11/19 に行われた「静的コード解析の会 第0回」で発表しました． http://metasepi.connpass.com/event/42141/ ビデオを撮っていただいたのですが，残念ながら音声がうまくとれなかったようです．再度紹介する機会があれば撮り直したいと思いますが... 「並行システムの理論 CSP の紹介」 on YouTube
九州南方海底に活動的マグマか 神戸大が確認 （神戸新聞NEXT） - Yahoo!ニュース
神戸大学海洋底探査センター（神戸市東灘区）は１８日、九州南方の海底に広がるくぼみ「鬼界（きかい）カルデラ」を調べた結果、熱くて濁った水が海底から湧き出る「熱水プルーム」を５カ所で確認した、と発表した。海底からの高さは最大約１００メートルに上る。現時点では噴火予測はできないが、カルデラ直下のマグマが活動的であることを示しているという。 同センター長の巽好幸教授（マグマ学）のチームは１０月１３～２７日、大学保有の練習船「深江丸」を使い、鹿児島県の薩摩半島南約５０キロに位置する鬼界カルデラ（直径約２０キロ）内で、ドーム状に盛り上がっている場所などを調べた。 音響測深装置で、水深約２００～３００メートルの海底に向けて船から音波を出し、反射波を観測。少なくとも５カ所で、海底からの高さ数十メートル～１００メートル程度の熱水プルームを見つけた。 チームは地震計５台、電位差計２台を海底に設置。来年３
マイノリティ理系女子から一言
最近、東大女子家賃の件で、高学歴女子がどうのこうのって話になってますが、マイノリティ理系女子からも、ひとこと言わせて。 理工学部、まじで生きにくい！！！！！！ 私は理工学系のなかでも、さらに女子の比率が低い学科に在籍しています。生物化学系や建築のような比較的女子が多いところではなく、150〜200人のうち女子学生数が一桁しかいないような、機械or電気or情報系の学科です。 で、一番嫌いなのが「なんでそこに入ったの？」って質問。 大学に入りたての頃、新歓に行くと必ずさせられる自己紹介。名前、出身、学部学科を名乗ると、たいてい「女子少ないんでしょ？」って聞かれて、「うん、○人中○人だよ」と答えると、「えー！なんでそこ入ろうと思ったのー？」って、その輪の中の誰か一人は必ず言う。たいてい文系女子。本人たちに悪気はないのもわかってるし、珍しいもの見て興味があるだけなんだろうけど。「なんで(女子なのに
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
commons/src/java/com/twitter/common/thrift/text/TTextProtocol.java at master · twitter-archive/commons
http://www.principia-m.com/ts/0130/csp.pdf