17. Gauche Schemeの基本デザインの選択理由、オブジェクトデータベース、浮動小数点数の落とし穴 (川合史朗) Turing Complete FM podcast

Artwork

プログラミングソフトウェア開発 Rui Ueyama テクノロジー

コンテンツは Rui Ueyama によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャストコンテンツは、Rui Ueyama またはそのポッドキャストプラットフォームパートナーによって直接アップロードされ、提供されます。誰かがあなたの著作権で保護された作品をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal。

Turing Complete FM « »
17. Gauche Schemeの基本デザインの選択理由、オブジェクトデータベース、浮動小数点数の落とし穴 (川合史朗)

6y ago 1:27:56

シェア

MP3•エピソードのホーム

アーカイブされたシリーズ ("無効なフィード" status)

When? This feed was archived on March 06, 2021 01:08 (3y ago). Last successful fetch was on July 22, 2020 21:07 (3+ y ago)

Why? 無効なフィード status. サーバーは持続期間に有効なポッドキャストのフィードを取得することができませんでした。

What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.

コンテンツは Rui Ueyama によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャストコンテンツは、Rui Ueyama またはそのポッドキャストプラットフォームパートナーによって直接アップロードされ、提供されます。誰かがあなたの著作権で保護された作品をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal。

プログラミング言語を作る時には、途中で変えることが極めて難しいデザイン選択を最初に行わないといけないことがあります。今回は川合史朗さんがGaucheを設計した時に行ったデザイン選択の判断について話を伺いました。また、浮動小数点数のトリッキーさについても話をしています。

出演者: 川合史朗 (@anohana)、Rui Ueyama (@rui314)

https://turingcomplete.fm/17

ハッシュタグは#tcfmです。

TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。

イントロ (0:00)
セキュキャン参加者募集中 (0:41)
俳優のオーディションとその心構え (2:43)
川合史朗さんが出演している映画がサンフランシスコで上映されます (5:16)
前回の訂正 (7:40)
Gaucheを作った経緯 (8:57)
STkのオブジェクトシステム (12:22)
CLOS（Common Lispのオブジェクトシステム）ではインスタンスのクラスを動的に変更できる (14:35)
CLOSを使ってオブジェクトデータベースを作った話 (18:39)
三つ組を使ったグラフデータベースを作った話 (24:38)
構文木インタープリタではなくVMを選んだ理由は、継続 (29:24)
プログラミングにおける概念としての「継続」 (30:39)
文字列の内部表現はどうするか (36:46)
マルチスレッドの対応 (37:47)
GCのAPIはどうするか（GaucheはBoehm GCを使って保守的GC） (39:36)
保守的GCとは何か (43:13)
自分ではGCを書かなかった理由 (45:03)
Precise GCにしなかった理由はC言語との親和性 (46:45)
マルチスレッドとGCとUnixのシグナル (47:50)
GoやErlangの並行処理モデルを導入していない理由 (51:17)
Gauche版のjava.util.concurrent (52:31)
R5RSの範囲を実装するのは1ヶ月以内でできた (55:16)
浮動小数点数を10進で書き出して読み出した時、同じ数に戻ることを保証するには (57:37)
Schemeは分数を正確な分数のままで扱うことができる (1:04:09)
16進浮動小数点表現 (1:07:17)
浮動小数点数の1.15を丸めた時、1.1になるべきか、1.2になるべきか (1:08:17)
正確数のsqrtは正確数にしたい (1:12:12)
浮動小数点数を安易に10倍すると精度が失われる (1:16:07)
浮動小数点数はそれ自体で整合は取れているが、実数とは異なる数の体系 (1:16:49)
x87の80ビット浮動小数点数フォーマットの落とし穴が原因で、PHPが特定の数を読み込むと無限ループに陥るバグ (1:17:43)
JavaやGaucheが読み込むとハングする特定の浮動小数点数があった (1:19:38)
浮動小数点数の精度は大は小を兼ねるわけではない (1:23:25)
言語処理系はコーナーケースをすべて面倒を見なければいけないのが面白い (1:25:42)

… continue reading

31 つのエピソード

#プログラミング #ソフトウェア開発 #Rui Ueyama #テクノロジー

Artwork

17. Gauche Schemeの基本デザインの選択理由、オブジェクトデータベース、浮動小数点数の落とし穴 (川合史朗)

Turing Complete FM

222 subscribers

published 6y ago

シェア

MP3•エピソードのホーム

アーカイブされたシリーズ ("無効なフィード" status)

When? This feed was archived on March 06, 2021 01:08 (3y ago). Last successful fetch was on July 22, 2020 21:07 (3+ y ago)

Why? 無効なフィード status. サーバーは持続期間に有効なポッドキャストのフィードを取得することができませんでした。

What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.

コンテンツは Rui Ueyama によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャストコンテンツは、Rui Ueyama またはそのポッドキャストプラットフォームパートナーによって直接アップロードされ、提供されます。誰かがあなたの著作権で保護された作品をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal。

プログラミング言語を作る時には、途中で変えることが極めて難しいデザイン選択を最初に行わないといけないことがあります。今回は川合史朗さんがGaucheを設計した時に行ったデザイン選択の判断について話を伺いました。また、浮動小数点数のトリッキーさについても話をしています。

出演者: 川合史朗 (@anohana)、Rui Ueyama (@rui314)

https://turingcomplete.fm/17

ハッシュタグは#tcfmです。

TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。

イントロ (0:00)
セキュキャン参加者募集中 (0:41)
俳優のオーディションとその心構え (2:43)
川合史朗さんが出演している映画がサンフランシスコで上映されます (5:16)
前回の訂正 (7:40)
Gaucheを作った経緯 (8:57)
STkのオブジェクトシステム (12:22)
CLOS（Common Lispのオブジェクトシステム）ではインスタンスのクラスを動的に変更できる (14:35)
CLOSを使ってオブジェクトデータベースを作った話 (18:39)
三つ組を使ったグラフデータベースを作った話 (24:38)
構文木インタープリタではなくVMを選んだ理由は、継続 (29:24)
プログラミングにおける概念としての「継続」 (30:39)
文字列の内部表現はどうするか (36:46)
マルチスレッドの対応 (37:47)
GCのAPIはどうするか（GaucheはBoehm GCを使って保守的GC） (39:36)
保守的GCとは何か (43:13)
自分ではGCを書かなかった理由 (45:03)
Precise GCにしなかった理由はC言語との親和性 (46:45)
マルチスレッドとGCとUnixのシグナル (47:50)
GoやErlangの並行処理モデルを導入していない理由 (51:17)
Gauche版のjava.util.concurrent (52:31)
R5RSの範囲を実装するのは1ヶ月以内でできた (55:16)
浮動小数点数を10進で書き出して読み出した時、同じ数に戻ることを保証するには (57:37)
Schemeは分数を正確な分数のままで扱うことができる (1:04:09)
16進浮動小数点表現 (1:07:17)
浮動小数点数の1.15を丸めた時、1.1になるべきか、1.2になるべきか (1:08:17)
正確数のsqrtは正確数にしたい (1:12:12)
浮動小数点数を安易に10倍すると精度が失われる (1:16:07)
浮動小数点数はそれ自体で整合は取れているが、実数とは異なる数の体系 (1:16:49)
x87の80ビット浮動小数点数フォーマットの落とし穴が原因で、PHPが特定の数を読み込むと無限ループに陥るバグ (1:17:43)
JavaやGaucheが読み込むとハングする特定の浮動小数点数があった (1:19:38)
浮動小数点数の精度は大は小を兼ねるわけではない (1:23:25)
言語処理系はコーナーケースをすべて面倒を見なければいけないのが面白い (1:25:42)

… continue reading

31 つのエピソード

#プログラミング #ソフトウェア開発 #Rui Ueyama #テクノロジー

すべてのエピソード

×

プレーヤーFMへようこそ！

Player FMは今からすぐに楽しめるために高品質のポッドキャストをウェブでスキャンしています。これは最高のポッドキャストアプリで、Android、iPhone、そしてWebで動作します。全ての端末で購読を同期するためにサインアップしてください。

500+以上のトピックを聴こう

クイックリファレンスガイド

トップポッドキャスト

鈴木淑子の地球は競馬でまわってる

文化放送競馬中継～今週のメインレース

ボードゲームおっぱい

聴く日経ヘッドライン

サンドウィッチマンの東北魂

トータルテンボスのぬきさしならナイト！

流行りモノ通信簿

RADIO365-TOKYO BAYSIDE RADIO STATION

町田徹のふかぼり！

足立明穂の週刊ＩＴトレンドＸ

伊藤洋一のRound Up World Now！

The other side journal

KIQTAS（キクタス）

ヴォイニッチの科学書

武田邦彦のヒバリクラブ

IchibanTalk 海外で頑張る日本人トーク

BUSINESS WARS / ビジネスウォーズ