首页>外文会议>プログラミング·シンポジウム

プログラミング·シンポジウム

召开年：2020
召开地：伊東市(JP)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.第61回プログラミング•シンポジウムの開催にあたって

机译：第六十一届编程•研讨会
- 作者：横山大作
- 会议名称：《プログラミング·シンポジウム》 | 2020年
2.ハイパフォーマンスコンビユーティングからエッジコンピューティングへ: 宇宙開発における数値解析技術の今後

机译：从高性能组合到边缘计算：空间开发中数值分析技术的未来
- 作者：堤誠司
- 会议名称：《プログラミング·シンポジウム》 | 2020年
3.山内賞報告

机译：山内奖报告
- 会议名称：《プログラミング·シンポジウム》 | 2020年
4.第61回プログラミング·シンポジゥム開催に際して

机译：第六十一届编程研讨会之际
- 作者：辻尚史
- 会议名称：《プログラミング·シンポジウム》 | 2020年
5.2019年夏のプログラミング·シンポジウム: 夢の子ども向けコンピュータ教育力リキュラム

机译：2019年夏季编程研讨会：梦想儿童的计算机教育能力课程
- 作者：原田康德
- 会议名称：《プログラミング·シンポジウム》 | 2020年
6.第52回情報科学若手の会報告

机译：第52届信息科学青年协会报告
- 作者：黒崎優太;佐々木康汰;高橋真奈茄;武田真之;田中京介;和田佳大
- 会议名称：《プログラミング·シンポジウム》 | 2020年
7.継続を基本としたOS Gears OS

机译：基于连续性的OS Gears OS
- 作者：清水隆博;河野真治
- 会议名称：《プログラミング·シンポジウム》 | 2020年
- システムプログラミング;
- CbC;
- 軽量継続;
- OS;
- CMake;
8.項書換による証明付き最適化

机译：通过术语重写进行证明优化
- 作者：池渕未来
- 会议名称：《プログラミング·シンポジウム》 | 2020年
- 形式検証;
- Coq;
- 項書換;
- 最適化;
9.タントリックスAIプレイヤーへの中盤の妨害戦略の実装と評価

机译：Tantrix AI玩家的中场破坏策略的实施和评估
- 作者：長江恭英;丸山一貴
- 会议名称：《プログラミング·シンポジウム》 | 2020年
- タン卜リックス;
- ゲームAI;
- モンテカルロ木探索;
10.3人の賢者の復讐

机译：三位智者的复仇
- 作者：竹内郁雄
- 会议名称：《プログラミング·シンポジウム》 | 2020年
- 3人の賢者の問題;
- 他者の思考の推論;
- 傍目賢者;
- フィボナッチ数列;
11.プログラミング言語ビスケッ卜を学び続けた児童のプログラムの分析

机译：对继续学习程序设计语言饼干的儿童的程序分析
- 作者：渡辺勇士;中山佑梨子;原田康徳;久野靖
- 会议名称：《プログラミング·シンポジウム》 | 2020年
- ビジュアルプログラミング;
- プログラミング教育;
12.オンラインプログ、ラミング、環境Google ColaboratoryにおけるPythonの導入実践と生徒の実態

机译：Google合作实验室和学生现实中的在线编程，夯实，环境Python实施实践
- 作者：山本周;清水克彦
- 会议名称：《プログラミング·シンポジウム》 | 2020年
- プログラミング;
- Python;
- Google Colaboratory;
- 情報Ⅰ;
13.ゲームOtrioの3人および4人プレイの解析

机译：分析Otrio游戏的3人和4人游戏
- 作者：松崎公紀;寺村舞童華
- 会议名称：《プログラミング·シンポジウム》 | 2020年
- Otrio;
- 3人ゲーム;
- 4人ゲーム;
- 弱解決;
- 選好順序;
- 結託;
14.短冊型問題を用いたプログラミング学習ァドバイスツール

机译：使用条形问题编程学习咨询工具
- 作者：久野靖
- 会议名称：《プログラミング·シンポジウム》 | 2020年
- プログラミング学習;
- 短冊型問題;
- ァドバイス;
- 基本的な誤リ;
15.Agda上でのZF集合論の構成

机译：ZF集理论在Agda上的组成
- 作者：河野真治;Shinji KONO
- 会议名称：《プログラミング·シンポジウム》 | 2020年
16.Ken Thompson の正規表現探索アルゴリズムを解剖する

机译：剖析Ken Thompson的正则表达式搜索算法
- 作者：和田英ー
- 会议名称：《プログラミング·シンポジウム》 | 2020年
17.ElixirにおけるC言語コード生成·最適化の試み

机译：尝试在Elixir中生成和优化C语言代码
- 作者：山崎進;久江雄喜
- 会议名称：《プログラミング·シンポジウム》 | 2020年
- 並列化;
- 型検査最適化;
- Elixir;
18.FPGA/GPU/CPUが集積されたヘテロSoC環境におけるプログラミング

机译：在具有集成FPGA / GPU / CPU的异构SoC环境中进行编程
- 作者：佐藤健太;佐藤幸紀
- 会议名称：《プログラミング·シンポジウム》 | 2020年
- FPGA;
- 髙位合成;
- 組み込みLinux;
- ヘテロSoC環境;
19.静的型つき組版処理システムSATYSFI

机译：静态排版系统SATYSFI
- 作者：諏訪敬之
- 会议名称：《プログラミング·シンポジウム》 | 2020年
- 組版処理システム;
- 函数型言語;
- 領域特化言語;
- 型システム;
- 多段階計算;
- OCaml;
20.Perl6のサーバーを使った実行

机译：与Perl 6服务器一起运行
- 作者：福田光希;河野真治
- 会议名称：《プログラミング·シンポジウム》 | 2020年
- プログラミング言語;
- Perl6;
- サーバー;
- Raku;
21.GPCC報告（2019年）Games and Puzzles Competitions on Computers

机译：GPCC报告（2019年）Games and Puzzles Competitions on Computers
- 作者：藤波順久
- 会议名称：《プログラミング·シンポジウム》 | 2020年
22.自由文思考プロダラミング環境における手続的機能の実装

机译：自由句子思维生产环境中程序功能的实现
- 作者：中村圭介;安藤建剛
- 会议名称：《プログラミング·シンポジウム》 | 2020年
- 自然言語;
- 論理プログラミング;
- 比較文;
- 制御文;
- 代入文;
- 演算;
23.第62回プログラミング•シンポジウム開催に際して

机译：第六编程•持有研讨会时
- 作者：辻　尚史
- 会议名称：《プログラミング·シンポジウム》 | 2021年
24.第62回プログラミング•シンポジウムの開催にあたって

机译：第六编程•举办研讨会时
- 作者：横山　大作
- 会议名称：《プログラミング·シンポジウム》 | 2021年
25.山内賞報告

机译：Yamano奖奖
- 会议名称：《プログラミング·シンポジウム》 | 2021年
26.遠隔合奏を実現するSYNCROOMとその技術

机译：综合及其技术实现偏远方式
- 作者：原　貴洋
- 会议名称：《プログラミング·シンポジウム》 | 2021年
27.第53回情報科学若手の会開催報告

机译：第53届信息科学的报告
- 作者：黒崎　優太;久下　征;佐々木　康汰;高橋　真奈茄;武田　真之;田中　京介;和田　佳大
- 会议名称：《プログラミング·シンポジウム》 | 2021年
28.最中限における戦略学習の試み

机译：战略学习的尝试到底
- 作者：大室　光;横山　大作
- 会议名称：《プログラミング·シンポジウム》 | 2021年
- 最中限;
- ヒューリスティックプレイヤ;
- 機械学習;
29.初心者のプログラムを正誤と質で評価するシステム

机译：系统正确评估初学者的程序和质量
- 作者：鄭　佳健;寺田　実
- 会议名称：《プログラミング·シンポジウム》 | 2021年
- 初心者プログラム評価;
30.AgdaによるGalois理論のプログラミング

机译：Agda编程Galois理论
- 作者：河野真治
- 会议名称：《プログラミング·シンポジウム》 | 2021年
31.立体連結ゲームBridgetのプログラミング: 古典的手法再び

机译：三维综合游戏Bridget编程：再次古典方法
- 作者：竹内郁雄;天海良治
- 会议名称：《プログラミング·シンポジウム》 | 2021年
- Bridget;
- 古典的ゲームプログラミング;
- 定跡半自動生成;
32.Pythonと日本語変換: Trans-CompilerとTransformerの比較

机译：Python和日语转换：跨编译器和变压器的比较
- 作者：縫嶋　慧深;秋信　有花;倉光　君郎
- 会议名称：《プログラミング·シンポジウム》 | 2021年
- ソースコード;
- 深層学習;
- トランスコンパイラ;
- 機械翻訳;
33.ニューラルネットワークと強化学習による対戦型2048プレイヤの作成

机译：通过神经网络创建一场战斗型2048播放器，并通过加固学习
- 作者：横山　智洋;松崎　公紀
- 会议名称：《プログラミング·シンポジウム》 | 2021年
- 対戦型2048;
- 強化学習;
- ニューラルネットワーク;
- 非対称型対戦ゲーム;
34.初等教育·特別活動(クラブ活動)における実践事例: 2011年度からの実践を振り返り今後の活動を考える

机译：初级教育和特殊活动（俱乐部活动）的实践案例：回顾2011财年和思考未来活动的实践
- 作者：内田　奈津子;柏　舜
- 会议名称：《プログラミング·シンポジウム》 | 2021年
- プログラミング教育;
- 初等教育;
- 特別活動(クラブ活動);
- ロボット教材;
35.ハイプリッド型ReDoS検出エンジンの実装

机译：已备二次重做检测引擎的实现
- 作者：藤浪大弥
- 会议名称：《プログラミング·シンポジウム》 | 2021年
- 正規表現;
- ReDoS;
- オートマトン理論;
- ファジング;
- 遺伝的アルゴリズム;
36.報告: 夏のプロダラミング•シンポジウム2020「GPCC拡大版」

机译：报告：夏季产物•研讨会2020“GPCC扩展版”
- 作者：松崎　公紀;竹内　郁雄;八木原　勇太
- 会议名称：《プログラミング·シンポジウム》 | 2021年
37.GPCC報告(2020年)

机译：GPCC报告(2020年)
- 作者：藤波順久
- 会议名称：《プログラミング·シンポジウム》 | 2021年
38.GoogleColaboratoryにおけるPythonの導入実践一斉授業型，動画視聴型の比較

机译：谷歌有限公司介绍Python
- 作者：山本　周;清水　克彦
- 会议名称：《プログラミング·シンポジウム》 | 2021年
- 情報I;
- Python;
- Google Colaboratory;
- プログラミング;