
2026/10/01 23:58
ラケットコンが土曜日にあります
RSS: https://news.ycombinator.com/rss
要約▶
Japanese Translation:
概要は適切に記述されており、明確であり、箇条書きを統合的な物語に効果的に合成しながら必要な情報を失っていません。改善点は必要ありません。
まとめ:
主なメッセージは、RacketCon 2026 の割引登録が 9 月 13 日に終了することだが、実際に出席できない人々にはリモートライブ配信へのアクセスが引き続き利用可能であることである。この期限は、より低い料金を確保するために即座の行動を促すとともに、世界中からの参加を確保するものである。会議では、イベント終了後に全ての記録が YouTube に公開されるなど、堅牢なデジタルフォローアップを提供しており、過去の資料の利用可能性を保証している。スケジュールには、開会基調講演にチューリング賞受賞者の Pat Hanrahan を含む著名なスピーカー、スタンフォード大学のような大学からの技術発表、AWS などの業界リーダーによるものも含まれている。主要イベントには、コミュニティの質疑応答のための朝のタウンホール会議や、ネットワーキングを促進するために設計された夜の社交集会的活動が含まれている。このハイブリッド形式は、学術研究と産業応用を効果的に橋渡しし、物理的な場所にかかわらず、Racket プログラミング言語エコシステムの発展に貢献するための学生、教授、開発者間の協力を可能にする。ライブインタラクションとアーカイブコンテンツを組み合わせていることで、このイベントは年間を通じてコミュニティとの継続的な関与を保証している。
本文
RacketCon 2026 公式スケジュールとイベント情報
RacketCon は、Racket プログラミング言語を中心に、活発で革新的かつ包摂的なコミュニティの育成に尽力する公開イベントです。感動的な内容を通じてプログラミングの世界に触れ、より広範な関心層を惹きつけたいと考えています。
- 早期割引: 9 月 13 日までの登録は リンクから
- 参加方法: 会場参加・ライブストリーミング・録画視聴のすべてに対応
- リモートチケット: クラウドファンディング的な観点から、イベント後援のため購入可能なオプションあり
📅 土曜日のスケジュール
8:30 AM PDT – ドアオープン
会場への受付を開始します。
9:00 AM PDT – On Notation
- 概要: パト・ハンラハンの講演。
- スタンフォード大学名誉教授(コンピュータサイエンスおよび電気工学)。
- ピクサーでの
設計主導、Tableau 共同設立者。RenderMan - 2019 年 ACM トーニング賞受賞者。
10:00 AM PDT – 休憩
10:30 AM PDT – Type Inference With Logical Types For Untyped Languages
- 講演者: フレッド・フー(インディアナ大学 PhD 候補者)
- 内容:
とRacket
の柔軟なイディオムが型システムにとっての課題。Rhombus
は発生型付け(occurrence typing)を用いて型チェックを実行するが、マクロ展開時の注釈追加やラムダ式の引数推論で制限がある。Typed Racket- 新システム: 発生型付けと代数的部分順序付けを組み合わせ、コードの拒否を減らす新しい型推論システムの実演。
11:10 AM PDT – Language-Oriented Low-Level Programming with Pille
- 講演者: ルーカス・マ이어ズ(ノースウェスタン大学 博士課程学生)
- 内容:
- Racket VM のパフォーマンス制約や高制約プラットフォームでの非実行問題を解決。
- Pille(ピール):
ベースで LLVM コマパイラーを持つ新コア言語。Rhombus - Rhombus マクロ機能を維持しつつ、低レベルかつ高性能なプログラミングを実現する高級メタプログラミングへの入門。
11:50 AM PDT – 昼食
- 昼食は提供いたします。
1:30 PM PDT – Making Macros and IDE Services Work Together
- 講演者: マイク・デルモナコ(Amazon Web Services ソフトウェアエンジニア)
- 内容:
- DSL 作成時のマクロによるエラーが IDE サービスを阻害する問題の解決。
- Treason プロトタイプ: エラーから回復して展開を継続し、IDE 情報を収集するメクロ拡張可能な言語。
- 主要貢献:仕様駆動による部分式展開(spec-driven subexpression expansion)の実装。
2:10 PM PDT – Improving Floating-point Accuracy
- 講演者: パベル・パンチェハ(ユタ大学 准教授)
- 内容:
- 浮動小数点演算の誤差を計算方法で軽減する重要性の説明。
- Herbie: 数学式を高次元の浮動小数点精度へコンパイルするコンパイラのデモと原理解説。
- Racket で 10 年間開発してきた
の開発経験報告。Herbie
2:50 PM PDT – 休憩
3:30 PM PDT – Effect Handlers in cio
- 講演者: JJ(バンクーバー在住の言語学者)
- 内容:
とRacket
用のエフェクトハンドラライブラリ「Guile Scheme
」の設計議論。cio- 最小限のプリミティブによる非局所制御フロー表現と、純粋な推論原理の保持。
- ライブラリレベルでの実装課題や限界について掘り下げます。
4:10 PM PDT – Commoditizing OOP with Interfaces, Generics, and Contracts
- 講演者: ライアン・カルペッパー(Racket の開発者)
- 内容:
とracket/class
の限界からの動機。racket/generic- BrandX: インタフェース、ジェネリック関数、契約を用いた新しい OOP ライブラリ。
- シンタックス・意味論・使いやすさの設計および実装側面の解説(マクロトリックを含む)。
6:00 PM PDT – エーブンソーシャル
- ドリンクとスナックを用意した交流会です。
📅 日曜日のスケジュール
8:30 AM PDT – ドアオープン
9:00 AM PDT – Immutable Dataframes for Racket
- 講演者: サム・フィリップス(機械データエンジニア)
- 内容:
- データフレームの多様な選択肢の中での不変性を重視する
ライブラリ紹介。Uke - コピーの効率化を目指した opinions な設計の説明。
- データフレームの多様な選択肢の中での不変性を重視する
9:40 AM PDT – A New Foreign-Function Interface: ffi2
- 講演者: マット・フラット(ユタ大学 教授)
- 内容:
- エリ・バジルレイ氏による
(動的ライブラ利用用)と、Andy Keep 氏による Chez Scheme の静的アプローチの統合。ffi - ffi2: Racket レベルで静的アプローチを導入し、Chez Scheme からの教訓を取り入れた新しい FFI レイヤー。
- 利便性・構成性を維持しつつ、優れたパフォーマンスと低コストな外部ポインタを実現。
- エリ・バジルレイ氏による
11:30 AM PDT – Racket Town Hall
- 皆様には大きな質問や議論トピックをご持参ください。