|
コバヤシ サトシ
KOBAYASHI SATOSHI
小林 聡 所属 京都産業大学 情報理工学部 情報理工学科 職種 教授 |
|
| 発表年月日 | 2023/08/31 |
| 発表テーマ | 複雑な構造を持つ状態のメモリ効率的かつ関数的な更新手法について |
| 会議名 | 第40回 記号論理と情報科学 研究集会 |
| 主催者 | 福田 陽介 |
| 学会区分 | 研究会・シンポジウム等 |
| 発表形式 | 口頭（一般） |
| 単独共同区分 | 単独 |
| 国名 | 日本 |
| 開催地名 | 京都 |
| 開催期間 | 2023/08/31～2023/09/01 |
| 発表者・共同発表者 | 小林聡 |
| 概要 | 卒業研究の学生たちと共に開発しているソフトウェアにおいて、複雑な構造を持つ状態をできるだけメモリ効率の良い方法で、しかもできるだけ簡潔なコーディングで更新する手段が必要になった。本講演ではそのために採用したシンプルだが効果的な手法について述べる。 |