SML# @smlsharp
I tweet on SML#, the programming language developed at RIEC, Tohoku University. SML#の最新情報などをお知らせします。 smlsharp.github.io 東北大学 電気通信研究所 大堀・上野研究室 Joined April 2012-
Tweets116
-
Followers221
-
Following0
-
Likes1
遅くなりましたが，3月24日に4.2.0版をリリースしました．この版の主な追加機能は * aarch64の（実験的な）サポート * コンパイルコードの最適化とコンパイルの高速化 * LLVM 20.1のサポート です．
SML# 4.1.0 released. Changed and improved LLVM support. SML# now supports from LLVM 7.1 to LLVM 18.1. Fixed a number of bugs including the issues #10, #39, #67, #68. smlsharp.github.io/en/
SML# 4.1.0 をリリースしました。 LLVM サポートを改良し，LLVM 7.1 から LLVM 18.1 に対応しました。 smlsharp.github.io/ja/
遅ればせながら、「SML#で始める実践MLプログラミング」が発売になりました。実践していきましょう！ 誤字脱字の報告や質問・要望等ございましたらサポートサイトのIssuesやフォーラムなどへお寄せください。 github.com/smlsharp/mlpra…
We've completed migration to GitHub! From now on, we use GitHub to develop SML# and communicate with users. During migration process, we made force push many times and so please fork and/or clone again. smlsharp.github.io/en/news/2021/0…
GitHubへの移行作業を完了しました。これからはGitHubで開発を行い、GitHubを公式の連絡チャネルとします。force pushをたくさん行ったのでforkやcloneのやり直しをお願いします。 smlsharp.github.io/ja/news/2021/0…
SML# 4.0.0 released. This is the first release distributed from Github under the renewed license terms! smlsharp.github.io/en/news/2021/0… #smlsharp
SML# 4.0.0をリリースしました。新しいライセンスでGitHubから配布する最初のリリースです！ smlsharp.github.io/ja/news/2021/0… #smlsharp
教科書「SML#で始める実践MLプログラミング」のサポートサイトをオープンしました。 github.com/smlsharp/mlpra… SML#ページ内の教科書ページ smlsharp.github.io/ja/textbooks/ とともにお使いください。
アリがと蟻さん、ご紹介ありがとうございます！我々も教科書のページを作りました。SML#ページ smlsharp.github.io/ja/ の「教科書」タブ smlsharp.github.io/ja/textbooks/ からご覧になれます。
アリがと蟻さん、ご紹介ありがとうございます！我々も教科書のページを作りました。SML#ページ smlsharp.github.io/ja/ の「教科書」タブ smlsharp.github.io/ja/textbooks/ からご覧になれます。
GitHubへの移行作業はもう少し続きます。いろいろ試行錯誤してforce pushを繰り返しているところです。作業が完了し次第、このアカウントでもアナウンスいたします。
SML#プロジェクトの新しいWebサイトを公開しました！ smlsharp.github.io まだ必要最小限のページしかありませんが、順次コンテンツを増やしていく予定です。 #smlsharp
【4月の新刊】『SML#で始める実践MLプログラミング』最新鋭のStandard ML系言語SML#を用いて実践的なMLプログラミング手法を解説。多数のプログラム例やシステム開発事例、また練習問題を掲載。4月12日取次搬入。kyoritsu-pub.co.jp/bookdetail/978…
ちょっこり和猫が何かをしてるの、わかるかにゃ～(=^･ω･^)ﾉ☆
これまでGitHubのsmlsharp organizationを非公式ながらメンテナンスし続けてくださった皆様に心より感謝いたします github.com/smlsharp #smlsharp
SML#の開発をGitHubに移行する作業が進行中です。Webサイトを含む全てのリソースをGitHubに移します。移行完了後はGitHubのリポジトリが公式となりissueやPRにも対応していきます。お楽しみに！ github.com/smlsharp #smlsharp
SML# 3.7.1 released. This is a bugfix release. pllab.riec.tohoku.ac.jp/smlsharp/ #smlsharp
SML# 3.7.1をリリースしました。今回もバグフィックスがメインです。 pllab.riec.tohoku.ac.jp/smlsharp/ja/ #smlsharp
SML# 3.7.0をリリースしました。今回はバグフィックスとセキュリティー上の問題への対応がメインです。 pllab.riec.tohoku.ac.jp/smlsharp/ja/ #smlsharp
SML# 3.7.0 released. This is mainly a bugfix and security release. pllab.riec.tohoku.ac.jp/smlsharp/ #smlsharp
でこれき @dico_leque
2K Followers 2K Following 20↑ 💉💉💉💉💉 自然言語と計算機言語、ごはん https://t.co/LYVfieuMI9 https://t.co/cooH9UeMDG
画力・博士号・... @bd_gfngfn
8K Followers 5K Following 解釈をしたがらず手を動かす @en_gfngfn @4gfn https://t.co/7yttH4xu38 🌾🍉
Atsushi Ohori （大�... @AtsushiOhori
2K Followers 656 Following 東北大学名誉教授 Ph.D., University of Pennsylvania SML# アーキテクト・共同開発者． プログラミング言語の研究教育に従事 「大堀淳の計算機科学チャネル」で講義ビデオを配信
よんた @keita44_f4
2K Followers 2K Following よんたったー。からあげからから からあげのうか。プログラミング言語を学んだ金属・樹脂・回路・マイコン系社会人だった無職。SML# ﾁｮﾄﾃﾞｷﾙ。サーモンランﾁｮﾄﾃﾞｷﾙ、SW-4829-1564-3688。腰がご機嫌。イモニー。干芋 https://t.co/MtZtBeq4K2
Jun Furuse 🐫🌴 @camloeba
2K Followers 531 Following Aka @camlspotter, OCaml programmer who has once used Haskell in his work. CEO of DaiLambda, Inc. Migrated to BlueSky. @jun.dailambda.jp
しらそら @silasolla
881 Followers 421 Following プログラミング言語，人に優しい技術・ツールがすきです．主にアプリ開発などのお仕事をしています．修士 (帰納法回し学) です．計算機科学と数理論理学と ML の型システムと Standard ML のファンです．Nominal Sets 完全理解したい．PGP 鍵: https://t.co/CWBf0YSHGf
Yoshihiro Imai @yoshihiro503
2K Followers 169 Following 株式会社 @proof_ninja の代表取締役です。 Rocq(Coq)やOCaml, Scalaなどのお仕事喜んでやります Rocq/OCaml/Haskell/SML#/Scala/F#/Haxe/Tezos/産総研/DMM/Datachain/トップSE/名古屋大
竹 @takemioIO
3K Followers 3K Following My tweets are my own/I💚{5GC,EPC,SRv6,eBPF/XDP,VPP,P4,k8s,infosec,pokemon}/JAIST@大学院生/wishlist: https://t.co/MUezEsKM2A
ねの @neno_n0
4K Followers 5K Following 東方Jazz @accord_on_codes /ピアノ/ハーモニカ/シンセ/DAWless/@we_are_noidear /C#/F#/小説/和装/SSBUトゥーン/ https://t.co/oslqNZXntp / https://t.co/fTYGgyXngx /@neno_negative
Keigo Imai @keigoi
2K Followers 964 Following Loves functional programming and concurrency. Opinions are my own.
S (ﾂｲｰﾄはﾂ... @esumii
5K Followers 4K Following 個人の趣味です。組織の見解ではありません。専門外は素人意見です。関連明示のため、しばしば自己リプライします。ツイートはツリー全体をご確認ください。明らかにおかしなリプライは非表示にさせていただくことがあります。ログ：https://t.co/1cDSfDReEV
Chief Engineer of Tes... @tesla_chief23
703 Followers 7K Following Businessman and investor.🚀 CEO, and Chief Engineer of SpaceX 🚀 Tesla 🚗 CEO and product architect of Tesla, Inc.🚗
ι @i0ta_dev
104 Followers 458 Following
中村 良幸 (Nakamu... @nakayoshix
4K Followers 3K Following My name, Yoshiyuki, means goodness and happiness. I want to be an Omega geek, because I like G. J. Chaitin. Ω ｜AI｜CS｜DS｜F#｜Python｜Quantum｜Randomness｜Mathematics
yuki @lmdexpr
660 Followers 706 Following I love OCaml, isekaijoucho. Work for @m3_engineering. My opinions are my own. AtCoder alg🟢/heu🟢.
adsfasdfjkrgjkr @SankaYukui
2 Followers 756 Following
mukaken @mukaken
1K Followers 3K Following Python, PHP, Ruby, Perl, Power BI, Power Automate, Power Apps, Video distribution.
Tanioka @Tanioka
66 Followers 1K Following
mikiyasu @mikiyasu55
20 Followers 116 Following Rust(プログラミング言語)と東京メトロが好き。システムソフトウェア関連の研究をしている大学院生です。OS/Linux/VM/Python/ML等。
dhoso @dhosokaw42
10 Followers 32 Following
heita @heita
304 Followers 601 Following #Booklog: 2004/10〜、 #水泳: 2006/3〜、 #Twitter: 2007/4〜、 #書道: 2021/12〜、 #X: 2023/7/24〜、 #朝活書写: 2024/3/19/〜
Yuki@私の計算機�... @Yuki_book1956
328 Followers 720 Following 計算機科学を学んだソフトウェア屋さんです。大学生のときにi8080でプログラミングして興味を持ち、ソフトウェア開発に従事。2016年に定年退職して、趣味でプログラムを書いています。 AMAZONから「計算機屋さんの技」レーベルで電子書籍を出版しています。 ブログ「ある計算機屋さんの手帳」を書いてます。
クマムシ.exe @SugarHigh_bin
385 Followers 5K Following
コンピューティ... @UMA_821
448 Followers 1K Following えいごよわよわだいがくせい プログラミング同好会・技術系サークル(Ichipiro Explorer)・吹奏楽・seccamp'24・seccamp'25 next
素晴らしい人@�... @bluedeterminant
13 Followers 786 Following 虹ヶ咲総合研究所(略称：虹総研)研究員 理論計算機科学、プログラミング言語処理系、高速自動車国道工学、虹ヶ咲学園スクールアイドル同好会論 虹ヶ咲との出会いに感謝
Simon Zelazny @Simonwhatnot
1 Followers 18 Following
kawai🍎社会性の... @asya_aoi1049
294 Followers 569 Following 情報科学研究科にいるあおいちゃん。スペシャリスト系持ってる。AWS資格は5冠ほど。なんでも好き
Masaya @M_simplifier
33 Followers 262 Following 「考えること/作ること」が大好きな人です 興味・関心: ・小説/音楽/ゲームを通した創作/制作活動 ・プログラミング ・数学（特に基礎論関係） 推し技術: Haskell、Lisp、Rust、型システム、低レイヤー Clojureを書くお仕事をしています
pio_moon(庇護) @drowsysword
78 Followers 468 Following
UFOman @flyingUFOman
48 Followers 1K Following
俊希 @K49303233
25 Followers 49 Following
wocs2017 @wocs2017
409 Followers 5K Following 第15回クリティカルソフトウェアワークショップ（15thWOCS2）（WOCS2-2017年11月29日/30日）の非公式のつぶやきです。
Sam Westrick @shwestrick
1K Followers 594 Following assistant prof @NYU_Courant CS :: PL :: parallel computing :: music :: lead dev of the MaPLe compiler https://t.co/6jBOSBGv9C :: https://t.co/WLZqdK5BRC
Abe Berg @abebrg
2 Followers 58 Following
Quu Rock See Jew Nie(... @9_6_42
42 Followers 103 Following 9 times 6 is 42. TLA+(* tlaplus *)/Isabelle/Logic/SML#
ながづく @boowmooq
40 Followers 1K Following
beike @beikejun07
33 Followers 2K FollowingTrends for United States
You might like
