教員総覧 - 弘中　哲夫 | 広島市立大学

ヒロナカ　テツオ Hironaka Tetsuo
弘中　哲夫

所属広島市立大学大学院情報科学研究科情報工学専攻

広島市立大学情報科学部情報工学科

職種教授

学会発表
2024/03/07	仕様記述言語PROMELAからプログラミング言語Erlangへの自動変換による並行システム開発支援環境の設計と実装 (第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2024）)
2024/03/07	代数的エフェクトにおけるエフェクトのperformを可視化するシステムの開発 (第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2024）)
2023/01/05	広島市立大学における学修プラットフォーム構築とラーニングアナリティクス(LA)共同トライアルの試み (九州大学ラーニングアナリティクスセンター第１回シポジウム)
2022/11/13	Design of a Quadruple Precision Floating-Point Arithmetic Unit for FPGA and its Evaluation by Conjugate Gradient Linear Solver (The International Conference for High Performance Computing, Networking, Storage and Analysis (SC22))
2019/11/17	FPGA Implementation of Real-Time Analog In-Circuit Emulation System for Electronic Circuit Boards (The International Conference for High Performance Computing, Networking, Storage and Analysis (SC19))
2019/11/17	Study of logic element placement algorithm which introduced neural network to cost function (The International Conference for High Performance Computing, Networking, Storage and Analysis (SC19))
2018/11/12	Trial Implementation of Single-Source Shortest Path Problem using FPGA with Multiport and Multibank Memory (The International Conference for High Performance Computing, Networking, Storage and Analysis)
2018/08/28	今そこにあるルービックキューブを解くツール (夏のプログラミングシンポジウム2018)
2018/06/08	Haskellにおける型クラス制約を満足する型変数割当ての唯一性検査に基づく型の曖昧性解決 (第119回プログラミング研究発表会)
2018/03/05	Traf: Coqでの対話的証明と連動した証明木描画ツール (第20回プログラミングおよびプログラミング言語ワークショップ(PPL 2018))
2018/03/05	気楽なアプリケーション開発を可能にするSearch-Select-Superpose Loopの反復支援ツール (第20回プログラミングおよびプログラミング言語ワークショップ(PPL 2018))
2017/11/13	Prototyping a C-to-OpenCL Translator that Generates FPGA-CPU Hybrid Execution Code (The International Conference for High Performance Computing, Networking, Storage and Analysis)
2017/11/13	Reconfigurable Device MPLD and The CAD tool (The International Conference for High Performance Computing, Networking, Storage and Analysis)
2016/09/08	定理証明支援系を証明木ベースで利用するためのProof Generalの外部ツールの開発 (日本ソフトウェア科学会第33回大会)
2016/05/17	細粒度再構成可能デバイスの配置配線問題におけるニューラルネットワークを用いた配置配線手法 (LSIとシステムのワークショップ2016)
2011/04/07	Memory Array Based PLD Architecture for Embedded Reconfigurable Device (International Workshop on Innovative Architecture for Future Generation High-Performance Processors and Systems)
2011/01/27	Development of a Compiler with OpenCL Expansion for Reconfigurable Processor Hy-DiSC (Proc. 16th Asia and South Pacific Design Automation Conference ASP-DAC 2011, Student Forum)
2009/09/30	オーガナイズドセッションI（招待講演）：細粒度再構成デバイスMPLDの研究開発 (若手研究者支援のための産学協同GCOE国内シンポジューム)
2008/10/31	[特別招待講演] ハイパフォーマンスコンピューティングを目指したMPLDアーキテクチャの検討 (電子情報通信学会 CPSY研究会)
2007/01/25	利益を産めるシリコン〜FPGAが増殖し続ける理由〜 (The 15th FPGA/PLD Design Conference)
2006/01/11	粗粒度リコンフィギュラブルプロセッサの動向 (電子通信学会回路とシステム研究会，CAS2005-73，pp.19-23, 2006（1月）)
2004/11/17	リコンフィギャラブルコンピューティングの動向 (「科学技術立国の明日をになうハイエンドコンピューティングの将来展望」シンポジウム，主催（財）福岡県産業・科学技術振興財団)
2004/07/21	A Coarse-Grained Reconfigurable Architecture Supporting Flexible Execution (IEEE HPCAsia2004 the 7th International Conference on High Performance Computing and Grid in Asia Pacific Region, Workshop "Reconfigurable Systems for HPC")
2002/07/19	再構成型コンピュータアーキテクチャPARS (九州大学システムLSIラボ（安浦・村上・松永研究室）との共催の講演会)
1999/03/04	パネル討論：システムオンシリコン時代の設計方法論〜LSI設計とシステム設計の融合に向けて〜 (電子情報通信学会 VLSI 設計技術研究会 (VLD) 電子情報通信学会集積回路研究会 (ICD)の共催研究会)
1998/12/10	パネル討論：大学および企業における設計者教育〜大学が目指す教育，企業が望む教育〜 (情報処理学会設計自動化研究会，電子情報通信学会コンピュータシステム研究会（CPSY）， VLSI設計技術研究会（VLD）の共催研究会)