新しいバージョンのJuliaをJupyterのカーネルに追加する方法

新しいバージョンのJuliaを手元のMacにインストールしてJupyter notebookで利用しようとしたところ,使用可能なカーネルのリストに追加されていないことに気が付きました.折角バージョンを更新したのにJupyterで使えないのはとても残念です.試行錯誤した結果,新しくインストールしたJuliaをカーネルに追加する方法(コツ)がわかりましたので,記録しておきます.

Step 0

新しいバージョンのJulia(ここではVer. 1.4.2)をインストールしたとします.

Step 1

以下のコマンドで現在登録されているカーネルを確認します.

jupyter kernelspec list

私の場合,以下の出力が得られました.この時点で,新しいバージョンのJuliaはまだ登録されていません(当然ですね).

Available kernels:
  julia-1.0    /Users/sakamura/Library/Jupyter/kernels/julia-1.0
  python3      /Users/sakamura/opt/anaconda3/share/jupyter/kernels/python3

STEP 2

新たにインストールしたJuliaのコンソールを立ち上げ,pkgモード上でIJuliaパッケージを追加・ビルドします(単に追加(add)しただけではダメでした).

(@v1.4) pkg> add IJulia
(@v1.4) pkg> build IJulia (←ここが重要)

STEP 3

Juliaコンソールに戻って,IJuliaパッケージをインポートし,Jupyter notebookを立ち上げれば,新しいバージョンのJuliaがカーネルのリストに追加されているはずです.

julia> using IJulia
julia> notebook()

実際,カーネルのリストを確認すると,以下の通り出力されました.

Available kernels:
  julia-1.0    /Users/sakamura/Library/Jupyter/kernels/julia-1.0
  julia-1.4    /Users/sakamura/Library/Jupyter/kernels/julia-1.4
  python3      /Users/sakamura/opt/anaconda3/share/jupyter/kernels/python3

古いバージョンのJuliaを使わないのであれば,以下のコマンドでリストから削除することができます.

jupyter kernelspec uninstall julia-1.0

映画「わたしは,ダニエル・ブレイク」を観ました.

本当に良い映画を観ると,人に話したくなる.昨夜観た「わたしは,ダニエル・ブレイク」はまさにそんな映画だ.

本作は,イギリスを舞台にして現代社会が抱える問題を淡々と描き,我々がよく口にする「合理性」が,単にある一面から眺めた場合のものに過ぎないことに気付かさせてくれる.

本作が文部科学省特別選定作品であることを映画の公式ウェブサイトで知った.大学入試の英語民間テスト導入に関して「身の丈発言」があった某大臣はこの映画をご覧になったのだろうか.もしまだであれば,是非ご覧いただきたい.

Raspberry Pi 4 + Ubuntu 19.10 server + X2Goで快適リモートデスクトップを実現してみた.

先日入手したRaspberry Pi 4 Model B (4GBメモリ)の性能は,本学学生の必携パソコンに求められる条件を(OS,メモリを除き)ほぼ満足しています.少し手を加えれば安価なLinuxサーバを自作することも可能だと思い,Ubuntu 19.10 server + X2Goをインストールしてリモートデスクトップ環境を実現してみました.本稿は,その過程を備忘録としてまとめたものです.他の環境での動作を保証するものではありませんので,予めご了承ください.

謝辞 本作業を進めるにあたり,日経Linux2020年3月号の特集記事「ラズパイ4のすべて」他,インターネット上の多くの情報を参考にさせていただきました.

目次

  1. ハードウェア
  2. 準備
  3. インストール
    1. イメージファイルの書き込み
    2. MicroSDカードから起動
    3. キーボードの設定
    4. ネットワークの設定
    5. システムの更新
    6. デスクトップ環境のインストール
    7. 日本語環境の設定
    8. X2Goのインストール

 

ハードウェア

  • Raspberry Pi 4 Computer Model B (4GB RAM)
  • MicroSDカード(64GB)
  • MicroSDアダプタ
  • HDMI-MicroHDMI変換コネクタ
  • USB-CーUSB-Aケーブル(給電用)
  • LANケーブル
  • USBキーボード
  • USBマウス
  • モニタ
  • ケース(なくてもよい)

 

準備

  • ラズパイ4の電源供給用USB-CコネクタとMicroHDMIコネクタとは隣接していて,一般的なUSB-CケーブルとHDMI変換コネクタでは互いに干渉してしまいました.そのため,HDMI変換コネクタをカッターナイフで削る作業が必要となりました.
  • MicroSDカードのフォーマットはFAT32形式です.私はmacOS付属のDisk Utilityで行いましたが,後で紹介するアプリRaspberry Pi Imagerでも可能です.
  • HDMI-MicroHDMI変換コネクタやUSB-CーUSB-Aケーブル,LANケーブルは100円ショップで入手可能です.

 

インストール

  • イメージファイルの書き込み
    • Raspberry Pi財団のウェブサイト からRaspberry Pi Imagerを入手.私の場合は,macOS用をダウンロード・インストールして使いました(他に,Windows用,Linux用があります).
    • Raspberry Pi Imagerを使って,MicroSDカードにUbuntu 19.10 server (64bit)のイメージを書き込みました.以前のようにddコマンドを使う必要が無くなりました.これは朗報です.
    • ただし,私の環境では起動時にHDMIディスプレイが認識されませんでしたので,イメージファイルと同じ場所に存在する設定ファイルuserconfig.txtの中に以下の行を追加しました(参考:日経Linux 2020年3月号,p. 78).

    hdmi_force_hotplug=1

    hdmi_group=2

    hdmi_ignore_edid=0xa5000080

    hdmi_mode=82

  • MicroSDカードから起動
    • イメージファイルを書き込んだMicroSDカードをラズパイ4に挿して起動させます.
    • ユーザ名「ubuntu」,パスワード「ubuntu」でログインすると,パスワードの変更が求められますので,設定します.

 

  • キーボードの設定
    • デフォルトではキーボード設定は英語になっています.ネットワークの設定でvimエディタを使うので「:」の位置を修正しておく必要があり,先にキーボードの設定を変更しておきました.

    sudo dpkg-reconigure keyboard-configuration

    • 設定画面が表示されたら,日本語環境を設定して,再起動

 

 

  • システムの更新
    • ようやくネットワークが接続されたので,ここでシステムを最新の状態に更新

    sudo apt update

    sudo apt dist-upgrade

  • デスクトップ環境のインストール
    • 普段使っているデスクトップ環境Xfceをインストールしました.

    sudo apt install xfce4

  • 日本語環境の設定
    • 日経Linux 2020年3月号,p. 87に従って,ロケールを「jp_JP.UTF-8」を設定し,タイムゾーンをTokyoに設定.再起動すると,デスクトップ画面が現れます.
    • システムのアップデートを行った後,日本語入力も設定しておきました.
  • sudo apt update
    sudo apt upgrade
    sudo apt install fcitx-mozc

  • X2Goのインストール

    sudo apt-add-repository ppa:x2go/stable
    sudo apt update
    sudo apt install x2goserver x2goserver-xsession

    • 手元のPCでクライアントを起動し,うまく接続されれば成功です.

Screen Shot 2020-04-03 at 9.21.21

本研究室の研究成果が公開されました.

残念ながら新型コロナウィルスの感染拡大を受けて中止となりましたが,日本機械学会北陸信越支部第57期総会・講演会および日本機械学会北陸信越学生会第49回学生員卒業研究発表講演会の講演論文が公開されました.

【日本機械学会北陸信越学生会第49回学生員卒業研究発表講演会】

  • 後藤 啓太・中山 勝之・大嶋 元啓・坂村芳孝,“OpenFOAMを用いた衝撃波に誘起される物体運動の数値シミュレーション” 日本機械学会北陸信越学生会第49回学生員卒業研究発表講演会講演論文集(2020)
  • 中野佑亮・大嶋 元啓・坂村芳孝,“大気圧誘電体バリア放電プラズマ流れにおける窒素分子の放射特性に関する研究” 日本機械学会北陸信越学生会第49回学生員卒業研究発表講演会講演論文集(2020)

【日本機械学会北陸信越支部第57期総会・講演会】

  • 坂村芳孝・中山 勝之・大嶋 元啓・後藤 啓太,“伝播する衝撃波によって誘起される剛体の運動” 日本機械学会北陸信越支部第57期総会・講演会講演論文集(2020)

 

内田樹著『生きづらさについて考える』を読みました.

先日,内田樹先生の『生きづらさについて考える』(毎日新聞出版)を読みましたので,備忘録として,投稿します.

本書の特徴として何よりも真っ先に指摘したいことは文字が大きくて読みやすいということ.これは,視力が衰えてきた私達の年代にとっては極めて重要で,有り難いと感じたところです.

内容に関しては,いつも通り深く考えさせられる言葉がいくつもあって,これから何度も手にする本になりそうです.特に,「情理を尽くして説く ー 書き手に求められているもの」には,学生の皆さんに是非読んでおいてもらいたい内容がありましたので,ご紹介します.

私たちが論理の筋目を通し,論拠を示し,出典を明らかにし,情理を尽くして説くのは,読者が身内ではないからだ.自然科学の論文は精密なエビデンス(科学的根拠)と厳正な理論に基づき,主観的願望を介入させないように書かれているが,それは同じ分野の専門家たちの厳しい査定的なまなざしを想定しているからである.文系の物書きにはそれほどの学術的精密さは求められないけれども,「情理を尽くして説く」という構えは分野にかかわらずものを書く人間が手放してはならない基本ルールである.

内田先生の書物でいつも楽しみにしているものに「まえがき」と「あとがき」があります.本書に収められている多くの文章は何らかの媒体で発表されたものを加筆・修正したものなのですが,「まえがき」と「あとがき」は,当然ながら,書き下ろしとなりますので,新鮮ですし,語りかける文体にも惹かれるところがあります.本書においても,その「あとがき」の中で「豊かで安全なのだけど,なぜか子どもが生まれない国」(日本を含んでいます)の共通点が指摘されていて,目から鱗が2,3枚は落ちました.いや,本当に.

IMG_0298

テッド・チャンの新作『息吹』を読み終えて

テッド・チャンの新作SF短編集『息吹』(大森望訳・早川書房)を読み終えました.

前作『あなたの人生の物語』の緻密に作り込まれた作品群に圧倒された私にとって翹望の一冊でした.実に17年ぶりの刊行とのことですが,期待を遥かに上回る内容に,改めて打ちのめされた感じです.

彼の作品の多くは,読み始めてしばらくの間は内容が掴めず,「一体,何の話なんだろう?」と首を傾げながら読まなければなりません(私の場合).しかし,少しずつ読み進めていくと徐々にその内容が明らかになってきて,気がついたときにはすでに作品の中に完全に呑み込まれ,読むことを止められない状態に陥ってしまうのです(個人差はあります).

彼はSF作家と呼ばれ,科学や技術をモチーフにした作品を世に送り出していますが,彼の作品に描き出されているものは紛れもない人間の姿であり,私はそこに魅力を感じています.今回の作品群の中で,個人的におすすめなのは以下の4篇.

  • 「商人と錬金術師の門」
  • 「息吹」
  • 「偽りのない事実,偽りのない気持ち」
  • 「オムファロス」

流体工学シンポジウム2019で研究成果を発表しました。

2019年12月14日(土)、富山県立大学で開催された流体工学シンポジウム2019(主催:北陸流体工学研究会)におきまして、本研究室の研究成果を発表しました。

  • 演題:重合格子法によるブラフボディと衝撃波との干渉の数値計算
  • 著者:後藤啓太(登壇者)、中山勝之、大嶋元啓、坂村芳孝

 

IMG_0292

 

高岡工芸高校の進路ガイダンスに参加しました。

2019年12月11日(水)午前中に高岡工芸高校で開催された進路ガイダンスに参加し、機械工学系で学べることや卒業後の進路について説明してきました。進路選択の参考になれば幸いです!