その他の業績

基本情報

氏名 竹内　広宜
氏名（カナ） タケウチ　ヒロノリ
氏名（英語） Takeuchi Hironori
所属 経済学部　経営学科
職名 教授
researchmap研究者コード
researchmap機関

題名 

モデルを用いた仕様書とコードの整合性確認手法

					

					

						

							

								

									
著書種別 

									
								

							

						

						
 

					

					

						

							

								

									
著者 

									
								

							

						

						
河口怜央,林香織,佐藤博之,小林展英,竹内広宜

					

					

						

							

								

									
概要 

									
								

							

						

						
 

					

					

						

							

								

									
発表雑誌等の名称 

									
								

							

						

						
情報処理学会研究報告(IPSJ SIG Technical Report)

					

					

						

							

								

									
出版者 

									
								

							

						

						
 

					

					

						

							

								

									
巻 

									
								

							

						

						
2025-SE-220

					

					

						

							

								

									
号 

									
								

							

						

						
27

					

					

						

							

								

									
開始ページ 

									
								

							

						

						
1

					

					

						

							

								

									
終了ページ 

									
								

							

						

						
8

					

					

						

							

								

									
発行又は発表の年月 

									
								

							

						

						
202507

					

					

						

							

								

									
査読の有無 

									
								

							

						

						
無し

					

					

						

							

								

									
依頼の有無 

									
								

							

						

						
 

					

					

						

							

								

									
記述言語 

									
								

							

						

						
 

					

					

						

							

								

									
掲載種別 

									
								

							

						

						
 

					

					

						

							

								

									
国際・国内誌 

									
								

							

						

						
 

					

					

						

							

								

									
国際共著 

									
								

							

						

						
 

					

					

						

							

								

									
ISSN 

									
								

							

						

						
 

					

					

						

							

								

									
eISSN 

									
								

							

						

						
 

					

					

						

							

								

									
ISBN 

									
								

							

						

						
 

					

					

						

							

								

									
DOI 

									
								

							

						

						
 

					

					

						

							

								

									
Cinii Articles ID 

									
								

							

						

						
 

					

					

						

							

								

									
Cinii Books ID 

									
								

							

						

						
 

					

					
					

						

							

								

									
Pubmed ID 

									
								

							

						

						
 

					

					

						

							

								

									
PubMed Central 記事ID 

									
								

							

						

						
 

					

					

						

							

								

									
URL 

									
								

							

						

						

					

					

						

							

								

									
形式 

									
								

							

						

						
 

					

					

						

							

								

									
無償ダウンロード 

									
								

							

						

						
 

					

					

						

							

								

									
JGlobalID 

									
								

							

						

						
 

					

					

						

							

								

									
arXiv ID 

									
								

							

						

						
 

					

					

						

							

								

									
ORCIDのPut Code 

									
								

							

						

						
 

					

					

						

							

								

									
DBLP ID 

									
								

							

						

						
 

					

					

						

							

								

									
主要業績フラグ