清水団 Dan shimizu
LightNews LightNews
dannchu.bsky.social
清水団 Dan shimizu
@dannchu.bsky.social
12 followers 11 following 15 posts
東京都の私立中高で数学を教えています。
Posts Replies Media Videos
dannchu.bsky.social
あけけましておめでとうございます。
今年もよろしくお願いします。
#数学 #JuliaLang #Typst
January 2, 2026 at 3:11 PM
Reposted by 清水団 Dan shimizu
gomahuazarashi.bsky.social
As of today, SubsetJuliaVM (a subset of #JuliaLang ) WebAssembly Edition supports user-defined modules.
You can define custom types and define custom operators.

Check this out.
↓↓↓
terasakisatoshi.github.io/subset_julia/
module MyGeometry using Statistics: mean export distance export Point struct Point{T<:Real} x::T y::T end Base.:+(p::Point{T}, q::Point{T}) where T <: Real = Point{T}(p.x + q.x, p.y + q.y) Base.:-(p::Point{T}, q::Point{T}) where T <: Real = Point{T}(p.x - q.x, p.y - q.y) function distance(p::Point{T}, q::Point{T}) where T <: Real return sqrt((q.x - p.x)^2 + (q.y - p.y)^2) end function centroid(points::Vector{Point{T}}) where T <: Real x = mean([point.x for point in points]) y = mean([point.y for point in points]) Tnew = promote_type(typeof(x), typeof(y)) return Point{Tnew}(x, y) end end #module using .MyGeometry p = Point(3, 4) q = Point(0, 0) @assert distance(p, q) == 5.0 @assert p isa Point{Int} @assert typeof(p) === Point{Int} @assert p + q == Point(3, 4) @assert p - q == Point(3, 4) @assert MyGeometry.centroid([Point(1, 2), Point(3, 4), Point(5, 6)]) == Point(3.0, 4.0)
December 31, 2025 at 3:48 AM
Reposted by 清水団 Dan shimizu
jbytecode.bsky.social
SubsetJuliaVM: A Julia Subset Execution Environment for iOS and Web

#JuliaLang

discourse.julialang.org/t/subsetjuli...
SubsetJuliaVM: A Julia Subset Execution Environment for iOS and Web
Hello everyone. I want to introduce SubsetJuliaVM, a subset of Julia that works on iOS devices and web browsers. The following text was generated using https://translate.preferredai.jp/ to rewrite th...
discourse.julialang.org
December 31, 2025 at 8:15 AM
Reposted by 清水団 Dan shimizu
antimon2.bsky.social
明けましておめでとうございます。今年もよろしくお願いします。
December 31, 2025 at 3:08 PM
Reposted by 清水団 Dan shimizu
hyrodium.bsky.social
今週末のJuliaアドベントカレンダーでDesmos.jlについて書く予定なので乞うご期待です！
December 17, 2025 at 8:28 AM
Reposted by 清水団 Dan shimizu
hyrodium.bsky.social
Desmos.jlがGeneralに登録された！！！！
github.com/hyrodium/Des...
#JuliaLang
GitHub - hyrodium/Desmos.jl: Unofficial Julia package for Desmos
Unofficial Julia package for Desmos. Contribute to hyrodium/Desmos.jl development by creating an account on GitHub.
github.com
December 14, 2025 at 12:27 AM
Reposted by 清水団 Dan shimizu
jbytecode.bsky.social
Julia v1.12.3 is out! 🎈

#JuliaLang

discourse.julialang.org/t/julia-v1-1...
Julia v1.12.3 and v1.11.8 have been released
Two new Julia versions are now available: v1.12.3 and v1.11.8. Binaries are available via JuliaUp (recommended) and manual download for macOS (Intel and M-series processors), Windows (x86 and x86-64),...
discourse.julialang.org
December 16, 2025 at 6:36 AM
dannchu.bsky.social
@hyrodium.bsky.social さんが作った Desmos.jlを触ってみました。VSCodeの中で JuliaからDesmosが呼び出せます！
すごい！　#JuliaLang #Desmos
github.com/hyrodium/Des...

スクリーンショット 2025-12-16 20.36.40
GitHub - hyrodium/Desmos.jl: Unofficial Julia package for Desmos
Unofficial Julia package for Desmos. Contribute to hyrodium/Desmos.jl development by creating an account on GitHub.
github.com
December 16, 2025 at 11:42 AM
Reposted by 清水団 Dan shimizu
hyrodium.bsky.social
Desmos.jlのv0.1.1をリリースしました🎉🎉🎉🎉 #JuliaLang #Julia言語
github.com/hyrodium/Des...
Release v0.1.1 · hyrodium/Desmos.jl
Desmos v0.1.1 Diff since v0.1.0 Merged pull requests: Add support for more fields (#57) (@hyrodium) Implement original latexify and remove dependency on Latexify.jl (#59) (@hyrodium) Add support f...
github.com
December 14, 2025 at 12:50 PM
Reposted by 清水団 Dan shimizu
hyrodium.bsky.social
次は @dannchu.bsky.social さんの発表！「Julia言語と高校数学 5日間の夏期講習回のレポート」
shimizudan.github.io/20250824-28s...
#JuliaLangJa2025
shimizudan.github.io
December 13, 2025 at 5:09 AM
Reposted by 清水団 Dan shimizu
jbytecode.bsky.social
Julia v1.12.3 testing period

#JuliaLang

discourse.julialang.org/t/julia-v1-1...
Julia v1.12.3 testing period
The release-1.12 branch on the Julia repository now contains the set of commits we’re planning to tag as v1.12.3. The list of commits included since v1.12.3 is available here. As a patch release, it s...
discourse.julialang.org
December 2, 2025 at 7:26 PM
Reposted by 清水団 Dan shimizu
jbytecode.bsky.social
🔴 The second release candidate of Julia v1.12 is out!

#JuliaLang

discourse.julialang.org/t/julia-v1-1...
Julia v1.12.0-rc2 is now available
Julia version 1.12.0-rc2, the second release candidate for the upcoming 1.12 series of releases, is now available. Binaries are available via JuliaUp and in the upcoming release section of https://jul...
discourse.julialang.org
September 9, 2025 at 6:00 AM
dannchu.bsky.social
#日曜数学会 主催で「Julia言語と高校数学」という内容で発表してきました。数学のコミュニティーなのですが、私の他にもJulia言語を利用していた方がいてびっくりしたのと同時に、とても嬉しかったです。
#JuliaLang

colab.research.google.com/github/shimi...
Google Colab
colab.research.google.com
June 29, 2025 at 11:42 AM
Reposted by 清水団 Dan shimizu
hyrodium.bsky.social
@dannchu.bsky.social さんによる発表！「Julia言語と高校数学」 #JuliaTokai
June 22, 2025 at 5:48 AM
Reposted by 清水団 Dan shimizu
fp-matsuri.bsky.social
📢関数型まつり2025 チケット販売開始＆プログラム公開しました！🎉

詳細はブログをチェック！
blog.fp-matsuri.org/entry/2025/0...

チケットはこちらから
fp-matsuri.doorkeeper.jp/events/182879

#fp_matsuri #プログラミング
関数型まつり2025
2025-06-14（土）11:00 - 2025-06-15（日）19:00 こちらは、関数型まつり 2025のチケット購入ページです。 詳しい情報は公式サイト（2025.fp-matsuri.org）をご覧ください。 開催日時 Day 1 ： ２０２５年６月１４日（土）１１：００〜１９：００（開場 １０：３０、懇親会 １９：００〜） Day 2： ２０２５年６月１５日（日）１０：００〜１...
fp-matsuri.doorkeeper.jp
April 6, 2025 at 1:38 AM
Reposted by 清水団 Dan shimizu
jbytecode.bsky.social
Julia v1.11.3 is out 🎈

discourse.julialang.org/t/julia-v1-1...
Julia v1.11.3 has been released
Julia version 1.11.3, the third patch release in the 1.11 series of releases, is now available. Binaries are available via JuliaUp and at https://julialang.org/downloads/ for macOS (Intel and M-series...
discourse.julialang.org
January 22, 2025 at 10:00 AM
Reposted by 清水団 Dan shimizu
gomahuazarashi.bsky.social
Calculating the Mandelbrot set using eight Raspberry Pi 5 devices in #JuliaLang
January 13, 2025 at 5:52 AM
Reposted by 清水団 Dan shimizu
gomahuazarashi.bsky.social
I tried to create a #JuliaLang package without writing code(including README) by myself. I used the Composer feature in the Cursor editor, with Claude-3-5-Sonnet-20241022 as the underlying model.

It takes 3 hours to accomplish the output.

github.com/terasakisato...
January 7, 2025 at 9:52 AM
Reposted by 清水団 Dan shimizu
loopy.codes
I'm a huge fan of #Quarto, a (relatively) new technical publishing system. I've written a #julialang package, `DocumenterQuarto`, which automatically generates a Quarto project (e.g. website) with any Julia package's documentation!
GitHub - cadojo/DocumenterQuarto.jl: Build documentation for your Julia package with Quarto!
Build documentation for your Julia package with Quarto! - cadojo/DocumenterQuarto.jl
github.com
January 4, 2025 at 4:40 AM
Reposted by 清水団 Dan shimizu
hyrodium.bsky.social
やたーー！！！年内に100⭐達成したぞ！！！！！！
BasicBSpline.jlはB-splineをJuliaで扱うためのパッケージです！！！！！！
github.com/hyrodium/Bas...
GitHub - hyrodium/BasicBSpline.jl: Basic (mathematical) operations for B-spline functions and related things with julia
Basic (mathematical) operations for B-spline functions and related things with julia - hyrodium/BasicBSpline.jl
github.com
December 29, 2024 at 3:09 AM
dannchu.bsky.social
これは使うしかない！
github.com GitHub @github.com · Dec 18
A new free tier of GitHub Copilot in Visual Studio Code.

✅ 2,000 code completions per month
💬 50 chat messages per month
💫 Models like Claude 3.5 Sonnet or GPT-4o
♥️ More fun for you

Check it out today!

Oh yeah, and we passed 150M developers on GitHub 💅 github.blog/news-insight...
Announcing 150M developers and a new free tier for GitHub Copilot in VS Code
Come and join 150M developers on GitHub that can now code with Copilot for free in VS Code.
github.blog
December 19, 2024 at 8:07 AM
Reposted by 清水団 Dan shimizu
github.com
A new free tier of GitHub Copilot in Visual Studio Code.

✅ 2,000 code completions per month
💬 50 chat messages per month
💫 Models like Claude 3.5 Sonnet or GPT-4o
♥️ More fun for you

Check it out today!

Oh yeah, and we passed 150M developers on GitHub 💅 github.blog/news-insight...
Announcing 150M developers and a new free tier for GitHub Copilot in VS Code
Come and join 150M developers on GitHub that can now code with Copilot for free in VS Code.
github.blog
December 18, 2024 at 6:19 PM
dannchu.bsky.social
zenn.dev/dannchu/arti...
#typst
typstで高校の数学のテスト作成しました
zenn.dev
December 17, 2024 at 10:12 PM
dannchu.bsky.social
zenn.dev/dannchu/book...
#JuliaLang
整数の問題とJulia言語
高校数学Aの「数学と人間の活動」の中で「整数」の分野を学習します。その中で取り上げる問題の通常の解答（ペンと頭で作成するもの）とJulia言語を用いた解答（コード）を紹介します。Julia言語を用いて100万のオーダーで調べることは容易です。素数パッケージPrimes.jlを利用
zenn.dev
December 17, 2024 at 10:11 PM
dannchu.bsky.social
zenn.dev/dannchu/arti...
#JuliaLang
Juliaでブートストラップ法の推定を行う
zenn.dev
December 15, 2024 at 1:04 PM