Julia とは？(1)

• The Julia Language
• 最新 v1.5.3（2020/11/09）
  • Upcoming v1.6.0-β1（2021/01/08）
    → 次のLTS！
  • LTS v1.0.5（2019/09/09）
• 科学技術計算に強い！
• 動作が速い！（LLVM JIT コンパイル）

Julia とは？(2)

• Rのように中身がぐちゃぐちゃでなく、
• Rubyのように遅くなく、
• Lispのように原始的またはエレファントでなく、
• Prologのように変態的なところはなく、
• Javaのように硬すぎることはなく、
• Haskellのように抽象的すぎない

ほどよい言語である

引用元：http://www.slideshare.net/Nikoriks/julia-28059489/8

Julia とは？(3)

• C のように高速だけど、
  Ruby のような動的型付言語である
• Lisp のようにプログラムと同等に扱えるマクロがあって、しかも
  Matlab のような直感的な数式表現もできる
• Python のように総合的なプログラミングができて、
  R のように統計処理も得意で、
  Perl のように文字列処理もできて、
  Matlab のように線形代数もできて、
  shell のように複数のプログラムを組み合わせることもできる
• 超初心者にも習得は簡単で、
  超上級者の満足にも応えられる
• インタラクティブにも動作して、コンパイルもできる

（Why We Created Julia から抜粋・私訳）

要するに

• 動的言語なのに速い！
• 文法も覚えやすい！
• 数値計算に強い！

主な機能

• 多重ディスパッチ
• 動的型システム
• 並行・並列処理、コルーチン
• 組込パッケージマネージャ

文法・関数

をいつもなら紹介するのですが…

digraph TypeTree {
nodesep=1.0
node [fontname=Courier,shape=box,style=filled, fillcolor=gray95]
edge [arrowsize=0.8]

edge [arrowtail="empty" dir=back]
Any -> AbstractString
Any -> Number
Any -> _others
_others [label="...",shape=none,style=none,fillcolor=transparent]

AbstractString -> SomeStringSubtypes
AbstractString -> String
SomeStringSubtypes [label="...",shape=none,style=none,fillcolor=transparent]

Number -> Complex
Number -> Real
Real -> AbstractFloat
Real -> AbstractIrrational
Real -> Integer
Real -> Rational

AbstractFloat -> x1
x1 [label="...",shape=none,style=none,fillcolor=transparent]
AbstractFloat -> Float64

Integer -> Bool
Bool [label="...",shape=none,style=none,fillcolor=transparent]

Integer -> Signed
Signed -> Int

AbstractIrrational -> x2
x2 [label="...",shape=none,style=none,fillcolor=transparent]

Integer -> Unsigned
Unsigned -> x4
x4 [label="...",shape=none,style=none,fillcolor=transparent]

Signed -> x5
x5 [label="...",shape=none,style=none,fillcolor=transparent]

}

• Nominative Typing
• Nominal Subtyping
• 型階層

abstract type Point{T<:Real} end

struct Point2D{T} <: Point{T}
    x::T
    y::T
end

mutable struct MPoint2D{T} <: Point{T}
    x::T
    y::T
end

• Parametric Type
• 型制約
• あと型レベルで immutable/mutable

julia> double(x::Number) = 2x
double (generic function with 1 method)

julia> double(x::AbstractString) = x^2
double (generic function with 2 methods)

julia> double(π)
6.283185307179586

julia> double("😄")
"😄😄"

• 関数を多重定義
• 引数に合わせて実装実体を選んで実行

julia> @code_typed double(1)
CodeInfo(
1 ─ %1 = Base.mul_int(2, x)::Int64
└──      return %1
) => Int64

julia> @code_typed double(9.9)
CodeInfo(
1 ─ %1 = Base.sitofp(Float64, 2)::Float64
│   %2 = Base.mul_float(%1, x)::Float64
└──      return %2
) => Float64

julia> @code_typed double(π)
CodeInfo(
1 ─     return 6.283185307179586
) => Float64

• 型推論
• シグニチャの違いによるコード生成
• 徹底的な最適化

• https://julialang.org
• 公式サイト
• バイナリ配布・ドキュメント・パッケージライブラリ・プレイグラウンド・その他

• https://discourse.julialang.org
• 公式アナウンス
• Q&A
• パッケージ公開情報

• https://juliacon.org/2021
• Julia のカンファレンス
• 毎年7月末頃に開催
• 昨年からオンライン開催で無料！

• https://juliatokyo.connpass.com
• 日本の元祖 Julia コミュニティ
• コロナ禍でミーティングなし
• JuliaCon とは提携している

• https://juliatokai.connpass.com
• 私の主催コミュニティ
• 年4回定期的開催
• 完全オンライン
• 次回：2021/02/13 第9回（予）

• https://jldev.connpass.com/
• 隔週でもくもく会（朝会/夜会）開催
• 次回：2021/02/xx 第2回開発合宿！（予）

https://juliatokai.connpass.com/event/202413/

• Julia 良いよ楽しいよ！

機械学習名古屋

https://machine-learning.connpass.com/

勉強会の内容

• みんなで手を動かして何か作る
• みんなやってることを発表する

https://machine-learning.connpass.com/event/201902/

https://machine-learning.connpass.com/event/202294/