announce-20240917.txt

件名：夏のプログラミング・シンポジウム2024確定版プログラム公開

過去プログラミング・シンポジウムにご参加いただいた皆様：

お世話になっております。リクルートの竹迫です。

2024年、夏のプログラミング・シンポジウムの確定版プログラムを公開しました。
当日はZoom配信を予定しており、オンライン参加も受け付けることになりました。
以下の開催概要をご確認の上、ぜひご参加の検討をお願いします。
周りでご興味をお持ちの方にもお伝えいただければと思います。
多くの方のご参加をお待ちしております。

-------------------------------------
夏のプログラミング・シンポジウム 2024
-------------------------------------
https://prosym.org/sprosym2024/

■テーマ: 「スペース × プログラミング」

今回の夏のプログラミング・シンポジウムでは「スペース × プログラミング」というテーマで発表を募集します．スペースに関するものであればどんな分野のテーマでも歓迎します．メモリを節約する省スペースプログラミングやコードゴルフ，こだわりの研究スペースの作り方，人工衛星で使われるソフトウェアの開発ノウハウ，大規模な宇宙データ解析の話など，多彩な専門家の発表が議論の導火線となることを期待しています．最密充填問題や組版の字間計算アルゴリズムに関する話題もスペースに関係していると言えるでしょう．ショート発表枠も用意しているので，短いプレゼンテーションでも，あなたの周りのスペースに関する現実の問題をどのように解決しているか，ぜひご紹介いただければと思います．

■日程・会場

日程：2024年9月21日(土)10:00 ～ 19:00
会場：リクルート九段下オフィス（元東京理科大学九段校舎跡地）＋ Zoomハイブリッド開催
住所：〒102-0073 東京都千代田区九段北1-14-6 九段坂上KSビル7F
定員：50名
参加費：無料

■参加者申込受付

参加者申込フォーム：https://forms.gle/RMudHzJyMS3usT1o6 からお申し込みください．
- 参加いただいた情報をもとに入館証を手配します．当日Slackに招待します．
- Zoom配信も予定しています．オンライン参加のみの方の参加も歓迎します．
- 現地ボランティアの方（手伝っても良いという方）の参加も募集しています．

■プログラム（タイムテーブル）

＜2024年9月21日(土)＞

開場 (受付開始) : 10:00 - 10:30
	この時間にビル入口で入館証を配布します (遅れて到着される場合はSlackでご連絡ください)

オープニング : 10:30 - 10:45
	座長 : 中山 心太（NextInt）
	幹事より連絡事項等をアナウンスします

＜セッションAM : 10:45 - 12:30＞

[一般講演1] 10:45 - 11:30 「人工衛星の開発体験向上のために，ソフトウェアからできること」
	発表者 : 坂本 優太（ArkEdge Space Inc.）
	概要：人工衛星の開発は，幅広い技術分野が交わる非常に複雑なものです．機構設計，熱設計，電力設計，姿勢制御，通信といった分野の専門知識やエンジニアが必要となる上で，それぞれが相互に影響します．また，打ち上げのためのロケットの調達や，国際的な周波数調整など，組織外との調整も多岐に渡ります．このような複雑なプロジェクト運用は，開発期間が数年から十年であったり，予算規模が大きな国家プロジェクトであればまだどうにかなってきました．このような背景がある上で，アークエッジ・スペースは小型の人工衛星を高速かつ安価に開発・運用することに挑戦しており，現在も同時に複数機の人工衛星を開発しています．そこで生じる，如何にして１機あたりの調整コストや認知負荷を減らすかという課題に Rust や Web 技術の積極的な活用を通して取り組んでいる事例を紹介します．

[一般講演2] 11:45 - 12:30 「Space on Paper: 文字組版のアルゴリズムの基礎」
	発表者 : 諏訪 敬之 (京都大学大学院・国立情報学研究所)
	概要：本発表では，発表者が2017年度未踏事業の1プロジェクトとしてSATySFiという組版処理システムを開発した経験をもとに，組版処理のうち特にアルゴリズム的に面白い部分である行分割アルゴリズムについて紹介したいと思います．また，この処理に関連してスペーシング・カーニング処理・合字・禁則処理などにも触れ，種々の文字組版上の要件とその実現に必要なアルゴリズム上の工夫についても概略的に説明したいと考えています．理論的根幹はTeXの実現の際に考案されたKnuth–Plassアルゴリズムでかなり完成しているものですが，発表者による少々の独自の工夫や，またさらに今後機能を拡張したいと考えているもののどんな点が厄介かなどについても紹介できればと思います．

昼食休憩 : 12:30 - 14:00

＜セッションPM : 14:00 - 15:45＞

[一般講演3] 14:00 - 14:45 「安野たかひろ選挙掲示板マップがつくった未来」
	発表者 : 小林 修平 (チーム安野), 植田 陽 (チーム安野), 中村 優太 (チーム安野)
	概要：2024年7月7日に行われた東京都知事選挙において，候補者である安野貴博ならびにチーム安野とボランティアチームは，東京都内14232箇所に設置された全ての掲示板にポスターを掲示できた．この貼付作業を支えたテクノロジーの活用事例や泥臭い苦労，現場目線で気がついた課題など，選挙活動の裏舞台を紹介する．

[一般講演4] 15:00 - 15:45 「宇宙通信におけるSDR(ソフトウエア無線機)の可能性」
	発表者 : 竹内 陽児 (イーツリーズ・ジャパン / SDR合同会社 / 放送大学 教養学部)
	概要：現在，無線通信技術はBeyond 5G，Beyond 6GやIEEE802.11(WiFi)などのように日進月歩で技術が進歩しています．このような状況において無線機を固定的なハードウエアで実装することは製品やサービスの提供に時間がかかるという点で適していません．これに対する解の一つとしてSDR(Software Defined Radio，ソフトウエア無線機)が挙げられます．さらに研究的・実験的な用途においては数量が限定されているためSDRがほぼ一つの解となります．本発表では代表的なSDRであるGNU Radioの使用法およびGNU Radioの内部実装について解説し，さらに宇宙通信におけるSDRの可能性について述べます．可能であればSDR送受信機を持ち込みデモを行います．

休憩 : 15:45 - 16:00

＜ショートセッション : 16:00 - 17:00＞

[ショート講演1] 16:00 - 16:15 「Executable and Linkable Format におけるスペースの有効活用」
	発表者 : 河田 旺
	概要：ELF（Executable and Linkable Format）は，Linuxにおいて広く使用されているバイナリフォーマットです．このELFフォーマットで生成された実行可能バイナリには，しばしば余分なスペースが存在し，これを効果的に活用することで既存の実行ファイルに新しい機能を追加することが可能です．具体的には，ビルドIDを保持するために使われている領域や，パディングとして挿入されているスペースなどが該当します．これらのスペースの有効活用技術は，一般的にはウイルス作成に用いられることが多いものの，非常に興味深いテクニックであり，ウイルス作成以外の用途にも応用可能です．参加者の皆様とともに，これらのスペースの有効活用に関する有意義な議論を交わせることを心より願っております．

[ショート講演2] 16:15 - 16:30 「INTEROPでの宇宙インターネット環境の再現とDTNを用いたアプリケーションデモの展示」
	発表者 : 内田 祥喜 (慶應義塾大学)
	概要：2024年6月，幕張メッセで開催されたInterop Tokyo 2024の特別企画「Internet X Space Summit」では，宇宙とインターネット技術の統合に焦点を当てた多岐にわたるトピックが取り上げられました．このサミットでは，遅延・断絶耐性ネットワーク（DTN），NASAが提唱する月通信アーキテクチャ「LunarNet」のような新しい通信技術，そしてSRv6などの地上ネットワークと宇宙ネットワークを統合するための技術について議論が交わされました．今回発表させて頂く内容は，惑星間インターネット（IPN）の実現に向けて，既存の複数のBundle Protocol（BP）実装を活用して構築された実験用DTN環境を構築したことです．INTEROPのSHOWNETではInteroperability Testを実施しました．この環境を活用し，ブースではサービスを提供し，その状況を可視化するシステムも導入しました．これにより，DTN環境を利用したアプリケーションのデモンストレーションが行われ，新しい宇宙インターネットの可能性が具体的に示されました．

[ショート講演3] 16:30 - 16:45 「実空間アプリケーション開発支援ライブラリ Sensorium SDK」
	発表者 : 吉田 貴寿 (慶應義塾大学), 近藤 豊生 (デジタル庁), 渡辺 貴史 (株式会社Preferred Robotics), 橋本 大輝 (株式会社N sketch), 小林 康平 (武蔵野美術大学)
	概要：空間コンピューティングの実現のためには，仮想空間の実空間への投影のみならず，実空間側のデジタルインタフェース化が求められます．Sensoriumプロジェクトでは，この点に着眼し，従来より力覚遍在化技術（力覚センサグリッドを用いて接触点の空間位置を特定する技術）の研究開発を進めてきました．加えて，この技術の応用・実用化のために，実空間アプリケーション開発支援ライブラリSensorium SDKの開発も行っています．このライブラリでは，空間上のオブジェクト（人や家具など）の検出やその行動の認識を，イベントベースで統一的に扱う仕組みを提供しています．本発表では，Sensoriumプロジェクトの構想やSDKの開発に関して，その現在地と展望を発表します．なお，発表者らは2023年度未踏アドバンスド事業に採択されており，これらの技術開発の一部は情報処理推進機構の支援を受けています．

[ショート講演4] 16:45 - 17:00 「MN-Core Challenge とアセンブリコードゴルフ」
	発表者 : 諸戸 雄治（株式会社 Preferred Networks）
	概要：MN-Core™シリーズは，深層学習の特徴である「行列演算」に最適化した専用プロセッサーで，PFNが神戸大学と共同開発しました．MN-Coreを搭載して2020年に稼働したPFNのスーパーコンピュータMN-3は，2020年6月から2021年11月までの間に，スーパーコンピュータの省電力性能ランキングであるGreen500で3度世界1位を獲得しています．PFN では，実際の MN-Core開発環境を用い，条件を満たす出力を得られる最も短いプログラムを実装するプログラミングコンテスト「MN-Core Challenge」を初開催しました．MN-Coreシリーズは，アセンブリコードの行数が実行時間に概ね比例するという性能最適化上の優れた特長があり，条件を満たす出力を得られる最も短いプログラムを実装する問題設定は，MN-Coreの実用的なプログラミングや MN-Core コンパイラの開発にも有用です．今回の発表では，MN-Core の採用しているVLIWや，それを利用したコードゴルフの話題を解説していこうと思います．

休憩 : 17:00 - 17:30

ディスカッション等 : 17:30 - 18:30
	議論・歓談

撤収 : 18:30 - 19:00
	入館証を必ずご返却ください

■幹事

・竹迫 良範（リクルート）
・中山 心太（NextInt）
・荒川 淳平（IzumoBASE）
・竹内 郁雄（未踏）
・大日向 大地（富士通）

＜問い合わせ＞
sprosym2024 {at} ipsj.or.jp