アイスホッケーファイティング

検索詳細｜MF大学--> --> (function(d) { var cOnfig= { kitId: 'qna6tzh', scriptTimeout: 3000, async: true }, h=d.documentElement,t=setTimeout(function(){h.className=h.className.replace(/\bwf-loading\b/g,"")+" wf-inactive";},config.scriptTimeout),tk=d.createElement("script"),f=false,s=d.getElementsByTagName("script")[0],a;h.className+=" wf-loading";tk.src='https://use.typekit.net/'+config.kitId+'.js';tk.async=true;tk.Onload=tk.Onreadystatechange=function(){a=this.readyState;if(f||a&&a!="complete"&&a!="loaded")return;f=true;clearTimeout(t);try{Typekit.load(config)}catch(e){}};s.parentNode.insertBefore(tk,s) })(document); --> --> --> --> --> --> --> 日本語Nihon UniversityResearcher Information System (Nihon University Researcher's Guide) 検索全体NameFullAuthorSearchAdvance Advance SearchNameAuthorPositionPresidentVice PresidentProfessorProfessorProject ProfessorResearch Project ProfessorAssociate ProfessorAssociate ProfessorAssistant ProfessorAssistant ProfessorAssistant ProfessorResearch AssistantOthersAffiliationNihon UniversityCentral Administration OfficePresidentVice PresidentCollege of LawCollege of LawDepartment of LawDepartment of Political Science and EconomicsDepartment of JournalismDepartment of Business LawDepartment of Public Policy and AffairsComprehensive, Physical Education, Foreign Languageintegrated subjectPractical Physical Education CoursesForeign Language CoursesCollege of Humanities and SciencesCollege of Humanities and SciencesDepartment of PhilosophyDepartment of HistoryDepartment of Japanese Language and LiteratureDepartment of Chinese Language and CultureDepartment of English Language and LiteratureDepartment of German LiteratureDepartment of SociologyDepartment of Social WelfareDepartment of EducationDepartment of Physical EducationDepartment of PsychologyDepartment of GeographyDepartment of Earth & Environmental SciencesDepartment of MathematicsDepartment of Information ScienceDepartment of PhysicsDepartment of ChemistryDepartment of BiosciencesDepartment of General StudiesCollege of EconomicsCollege of EconomicsDepartment of EconomicsDepartment of Industrial ManagementDepartment of Finance and Public EconomicsDepartment of Liberal Arts and ScienceCollege of CommerceDepartment of CommerceDepartment of Business AdministrationDepartment of AccountingGeneral EducationCollege of ArtCollege of ArtDepartment of PhotographyDepartment of CinemaDepartment of Fine ArtsDepartment of MusicDepartment of Literary ArtsDepartment of TheatreDepartment of BroadcastingLiberal Education for ArtDepartment of DesignCollege of International RelationsDepartment of International StudiesDepartment of International Liberal ArtsCollege of Risk ManagementDepartment of Risk ManagementCollege of Sports SciencesDepartment of competitive sportsCollege of Science and TechnologyDepartment of Liberal Arts and ScienceDepartment of Civil EngineeringDepartment of Transportation Systems EngineeringDepartment of ArchitectureDepartment of Oceanic Architecture and EngineeringDepartment of Town Planning and DesignDepartment of Mechanical EngineeringDepartment of Precision Machinery EngineeringDepartment of Aerospace EngineeringDepartment of Electrical EngineeringDepartment of Electronic EngineeringDepartment of Computer EngineeringDepartment of Materials and Applied ChemistryDepartment of PhysicsDepartment of MathematicsCollege of Industrial TechnologyCollege of Industrial TechnologyDepartment of Mechanical EngineeringDepartment of Electrical and Electronic EngineeringDepartment of Civil EngineeringDepartment of Architecture and Architectural EngineeringDepartment of Applied Molecular ChemistryDepartment of Industrial Engineering and ManagementDepartment of Mathematical Information EngineeringDepartment of Liberal Arts and Basic SciencesDepartment of Sustainable EngineeringDepartment of Conceptual DesignCollege of EngineeringCollege of EngineeringDepartment of Civil EngineeringDepartment of ArchitectureDepartment of Mechanical EngineeringDepartment of Electrical and Electronic EngineeringDepartment of Chemical Biology and Applied ChemistryDepartment of Computer ScienceGeneral EducationsSchool of MedicineSchool of MedicineDepartment of MedicineDepartment of Liberal Arts and ScienceSchool of DentistrySchool of DentistryDepartment of DentistryDepartment of Liberal Arts and ScienceSchool of Dentistry at MatsudoSchool of Dentistry at MatsudoDepartment of DentistryDepartment of Liberal Arts and and ScienceCollege of Bioresource SciencesCollege of Bioresource SciencesDepartment of BioscienceDepartment of Zoological ScienceDepartment of Marine ScienceDepartment of Forest ScienceDepartment of Environmental ScienceDepartment of Agri-ScienceDepartment of Food Science and TechnologyDepartment of Food BusinessDepartment of Global Coexistence StudiesDepartment of Veterinary NursingDepartment of Veterinary MedicineDepartment of General EducationDepartment of General EducationCourse of Teacher , CuratorVarious CoursesSchool of PharmacySchool of PharmacyDepartment of PharmacyDepartment of PharmacyDistance Learning DivisionDistance Learning DivisionDepartment of Economics, College of EconomicsDepartment of Commerce, College of CommereceDepartment of Law, College of LawCorrespondence Division Department of Political Science and Economics, College of LawCorrespondence Division Department of Literature(Japanese) ,College of Humanities and SciencesCorrespondence Division Department of Literature(English), College of Humanities and SciencesDepartment of Philosophy, College of Humanities and ScienceDepartment of History, College of Humanities and ScienceTeacher Training and Licensing Course, College of Humanities and ScienceJunior College(Mishima Campus)Junior College(Mishima Campus)Department of Liberal Arts and ScienceDepartment of Business and Management StudiesDepartment of Food and NutritionAdvanced Course of Food and NutritionJunior College(Funabashi Campus)Junior College(Funabashi Campus)Department of Architecture and Living DesignDepartment of Science and Manufacturing TechnologyDepartment of Biotechnology and Material ChemistryDepartment of Liberal Arts and ScienceGraduate School of Social and Cultural StudiesGraduate School of Social and Cultural StudiesInternational Political Science and EconomicsCulture and Communication StudiesHuman ScienceLaw SchoolLaw SchoolInstitute of Quantum ScienceInstitute of Quantum ScienceNursing School attached to School of MedicineNihon University Nursing School attached to School of MedicineNihon UniversityResearch AreasSearchReset SEKIZAWA ToshifusaDepartment of Computer ScienceAssociate Professor Researcher InformationBasic InformationField Of StudyCareerEducational BackgroundMember HistoryResearch activity informationPaperBooks and other publicationsLectures, oral presentations, etc.Affiliated academic societyResearch ThemesField Of StudyInformatics, SoftwareCareer Apr. 2014 - PresentDepartment of Computer Science, College of Engineering, Nihon University, Associate Professor Apr. 2013 - Mar. 2014Faculty of Informatics, Osaka Gakuin University, Associate Professor Apr. 2009 - Mar. 2013Faculty of Informatics, Osaka Gakuin University, Lecturer Apr. 2010 - Mar. 2012Collaborative Facilities for Verification and Specification, National Institute of Advanced Industrial Science and Technology (AIST), Visiting Researcher Apr. 2009 - Mar. 2010Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology (AIST), Visiting Researcher Apr. 2008 - Mar. 2009Faculty of Informatics, Osaka Gakuin University, Part-time Lecturer Sep. 2005 - Mar. 2009Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology (AIST), Technical Staff Apr. 2004 - Aug. 2005CREST, Japan Science and Technology Agency (JST), Engineer Jun. 2003 - Mar. 2004Information Technology Research Institute ,National Institute of Industrial Science and Technology (AIST), Technical Staff Apr. 1998 - May 2003Nihon Unisys Ltd.Educational Background Apr. 2006 - Mar. 2009Osaka University, Graduate School of Information Science and Technology, Information System Engineering Major Apr. 1996 - Mar. 1998Gakushuin University, Graduate School of Science, Course of Physics Apr. 1992 - Mar. 1996Gakushuin University, Faculty of Science, Department of PhysicsMember History Apr. 2020 - PresentSS, IEICE Apr. 2023 - Mar. 2024 Mar. 2022 - Mar. 2023第29回 ソフトウェア工学の基礎ワークショップ (FOSE2022) プログラム委員, 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会 Oct. 2021 - Mar. 2022コンピュータソフトウェア特集号編集委員, Japan Society of Software Science and Technology Oct. 2020 - Mar. 2022第28回 ソフトウェア工学の基礎ワークショップ (FOSE2021) プログラム共同委員長, 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会 Oct. 2020 - Mar. 2021コンピュータソフトウェア特集号編集委員, Japan Society of Software Science and Technology Apr. 2017 - Mar. 2021組込みシステム研究会(SIGEMB) 運営委員, 情報処理学会 (IPSJ) Apr. 2018 - Mar. 2020東北支部研究会, 情報処理学会 (IPSJ) 2018 - 2019Program Committee, IEEE COMPSAC 2019 SETA 2017 - 2019ウィンターワークショップ2019 実行委員長, IPSJ/SIGSE Apr. 2014 - Mar. 2018ソフトウェア工学研究会(SIGSE) 運営委員, 情報処理学会 (IPSJ) 2018 - 2018Technical Program Committee, The 8th International Workshop on Internet on Things: Privacy, Security and Trust (IoTPST 2018) 2018 - 2018Program Committee, COMPSAC 2018 SETA 2018 - 2018第25回 ソフトウェア工学の基礎ワークショップ (FOSE2018) プログラム委員, 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会 2017 - 2017Technical Program Committee, The 7th International Workshop on Internet on Things: Privacy, Security and Trust (IoTPST 2017) 2017 - 2017第24回 ソフトウェア工学の基礎ワークショップ (FOSE2017) プログラム委員, 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会 2016 - 2017Program Committee, COMPSAC 2017 SETA 2016 - 2016第23回 ソフトウェア工学の基礎ワークショップ (FOSE2016) プログラム委員, 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会 2015 - 2016Program Committee, COMPSAC 2016 SETA 2015 - 2015第22回 ソフトウェア工学の基礎ワークショップ (FOSE2015) プログラム委員, 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会 2014 - 2015Program Committee, COMPSAC 2015 SETA 2013 - 2015「ソフトウェア工学」特集号，ゲストエディタ, 日本ソフトウェア科学会 2014 - 2014 2014 - 2014第21回 ソフトウェア工学の基礎ワークショップ (FOSE2014) プログラム委員, 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会 2014 - 2014Program Committee, International Conference on,Software Engineering Research, Management and Applications (SERA 2014) 2012 - 2013第20回 ソフトウェア工学の基礎ワークショップ (FOSE2013) 共同プログラム委員長, 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会 2008 - 2010ハンドブック "知識ベース" 執筆委員, 電子情報通信学会Research activity informationBasic InformationField Of StudyCareerEducational BackgroundMember HistoryResearch activity informationPaperBooks and other publicationsLectures, oral presentations, etc.Affiliated academic societyResearch ThemesPaperProbabilistic evaluation of self-localization on ad-hoc network using model checkingToshifusa Sekizawa; Qian Chen; and Taiju MikoshiIEICE Communications Express, Jan. 2023, RefereedLeadTowards C Program Evaluation of Acheivement of Learning Goal using,Model Checking in Programming EducationToshifusa Sekizawa and Kazuki KawanoIPSJ Journal, Nov. 2022, Refereed, Not invitedLeadReport on the 28th Foundation of Software Engineering Workshop (FOSE2021)名倉正剛; 関澤俊弦; 沢田篤史日本ソフトウェア科学会「コンピュータソフトウェア」, Oct. 2022, Not refereedA Bounded Model Checker for Timed Automata and Its Application to LTL PropertiesKozo Okano; Maiko Onishi; Jo Otsuka; Shinpei Ogata; Toshifusa Sekizawa; Keishi Okamoto; Daisuke BekkiProcedia Computer Science, Oct. 2022, Refereed, Not invitedProposal and Evaluation for A Method to Verify Equivalence of Specifications of C and Java Functions with Recursive Data structures by SAW: Case Studies of Linear Structures and Binary TreesRin Karashima; Kozo Okano; Shinpei Ogata; Satoshi Harauchi; and Toshifusa SekizawaInternational Journal of Informatics Society, Mar. 2021, Refereed, Not invitedRecursive Gateway Allocation Combined with Self-localization and Model Checking in Mobile Ad-hoc NetworksToshifusa Sekizawa; Qian Chen; and Taiju MikoshiProceedings of the Tenth International Symposium on Information and Communication Technology, Dec. 2019, Refereed, Not invitedLeadCounter Example Analysis of Robot Action Design for Self-localization Based on Model Checking Using Probability Removed ModelRyo Watanabe and Toshifusa SekizawaProceedings of 2019 IEEE 4th International Conference on Computer and Communication Systems, Sep. 2019, Refereed, Not invitedCorrespondingA review assistance system for class diagram with voice assistance based on NLPMasashi Nakamura; Kozo Okano; Shinpei Ogata; and Toshifusa SekizawaProceedings of International Workshop on Informatics, Sep. 2019, Refereed, Not invitedConsistency Checking between Java Equals and hashCode Methods Using Software Analysis WorkbenchKozo Okano; Satoshi Harauchi; Toshifusa Sekizawa; Shinpei Ogata; and Shin NakajimaIEICE TRANSACTIONS on Information and Systems, Aug. 2019, Refereed, Not invitedProbabilistic Position Estimation and Model Checking for Resource-Constrained IoT DevicesToshifusa Sekizawa; Taiju Mikoshi; Masataka Nagura; Ryo Watanabe; Qian ChenProceedings of 27th International Conference on Computer Communication and Networks (ICCCN 2018), Oct. 2018, Refereed, Not invitedLeadAnalysis of Specification in Japanese Using Natural Language ProcessingKozo Okano; Kazuma Takahashi; Shinpei Ogata; and Toshifusa SekizawaKnowledge-Based Software Engineering: 2018, Aug. 2018, Refereed, Not invitedAnalysis of Specification in Japanese using Natural Language Processing and Review Supporting with Speech SynthesisKozo Okano; Kazuma Takahashi; Yusuke Naka; Sinpei Ogata; and Toshifusa SekizawaTechnical Report of IEICE, Feb. 2018, Not refereed, Not invitedEquivalence checking of Java methods: Toward ensuring IoT dependabilityKozo Okano; Satoshi Harauchi; Toshifusa Sekizawa; Shinpei Ogata; Shin Nakashima2017 26th International Conference on Computer Communications and Networks, ICCCN 2017, Sep. 2017, Refereed, Not invitedEquivalence Checking for Methods in Java and its ApplicationsKozo Okano; Satoshi Haraguchi; Shinpei Ogata; Toshifusa Sekizawa; and Takashi ObaraIEICE Technical Report SS2016-65, Mar. 2017, Not refereed, Not invitedTowards verification of robot design for self-localizationRyo Watanabe; Kozo Okano; Toshifusa SekizawaLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, Refereed, Not invited二次元系における自己位置推定の振舞い検証に向けてRyo Watanabe; Kozo Okano; and Toshifusa SekizawaJSSST FOSE2016 ソフトウェア工学の基礎 XXIII, Dec. 2016, Not refereed, Not invitedCorrespondingParallel Multiple Counter-Examples Guided Abstraction Loop - Applying to Timed Automaton -Kozo Okano; Takeshi Nagaoka; Toshiaki Tanaka; Toshifusa Sekizawa; and Shinji KusumotoInternational Journal of Informatics Society, Sep. 2016, Refereed, Not invitedModeling of an autonomous mobile robot using probabilistic timed automataYoshimasa Kobayashi; Kozo Okano; and Toshifusa SekizawaIPSJ SIG Technical Report, Jun. 2016, Not refereed, Not invitedCorrespondingA Case Study: Verification of an Embedded System using Abstraction Refinement with RequirementsToshifusa Sekizawa; Makoto Fujiwara; Koichiro WatanabeProceedings 2016 IEEE 40th Annual Computer Software Aand Applications Conference Workshops (COMPSAC), Vol.2, 2016, Refereed, Not invitedLeadParallel Multiple Counter-Examples Guided Abstraction Loop to Timed AutomatonKozo Okano; Takeshi Nagaoka; Toshiaki Tanaka; Toshifusa Sekizawa; and Shinji KusumotoProceedings of International Workshop on Informatics, Sep. 2015, Refereed, Not invited事例研究：組込みシステムの仕様検証とペアワイズ・テスト手法を用いた評価項目の生成Toshifusa Sekizawa; and Tsugu KotoriiMSS Technical Report, Feb. 2015, Not refereed, Not invitedLeadBehavior Verification of Autonomous Robot Vehicle in Consideration of Errors and DisturbancesToshifusa Sekizawa; Fumiya Otsuki; Kazuki Ito; Kozo OkanoIEEE 39th Annual Computer Software And Applications Conference Workshops (COMPSAC 2015), Vol.3, 2015, Refereed, Not invitedLeadVerification of a Control Program for a Line Tracing Robot using UPPAAL Considering General AspectsToshifusa Sekizawa; Kozo Okano; Ayako Ogawa; and Shinji KusumotoInternational Journal of Informatics Society, Nov. 2014, Refereed, Not invitedLeadSafety Verification of Multiple Autonomous Systems by Formal ApproachKozo Okano; and Toshifusa SekizawaLecture Notes in Computer Science, 2014, Refereed, InvitedVerification of Safety Properties of a Program for Line Tracing Robot using a Timed Automaton ModelKozo Okano; Toshifusa Sekizawa; Hiroaki Shimba; Hideki Kawai; Kentaro Hanada; Yukihiro Sasaki; and Shinji KusumotoInternational Journal of Informatics Society, Dec. 2013, Refereed, Not invitedCorrespondingVerification of a Control Program for a Line Tracing Robot using UPPAAL Considering General AspectsToshifusa Sekizawa; Kozo Okano; Ayako Ogawa; and Shinji KusumotoProceedings of International Workshop on Informatics 2013, Sep. 2013, Refereed, Not invitedLeadApplications of Model Checking in the Area of Control SystemsTatsuhiro Tsuchiya and Toshifusa SekizawaISCIE Journal 'Systems, Control and Information', May 2013, Refereed, Not invitedCorrespondingA Case Study: Verification of Specifications of an Embedded System and Generation of Verification Items using Pairwise TestingToshifusa Sekizawa; Tsugu Kotorii2013 20TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2013), VOL 2, 2013, Refereed, Not invitedVerification of Safety Property of Line Tracer Program using Timed Automaton ModelKozo Okano; Toshifusa Sekizawa; Hiroaki Shimba; Hideki Kawai; Kentaro Hanada; Yukihiro Sasaki; and Shinji KusumotoProceedings of International Workshop on Informatics 2012, Sep. 2012, Refereed, Not invitedProbabilistic Symmetry Reduction for a System with Ring BufferToshifusa Sekizawa; Takashi Toyoshima; Koichi Takahashi; Kazuko TakahashiIEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, May 2011, Refereed, Not invitedProbabilistic Model Checking of the One-Dimensional Ising ModelToshifusa Sekizawa; Tatsuhiro Tsuchiya; Koichi Takahashi; Tohru KikunoIEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, May 2009, Refereed, Not invitedPre- and Post-Conditions Expressed in Variants of the Modal mu-CalculusYoshinori Tanabe; Toshifusa Sekizawa; Yoshifumi Yuasa; Koichi TakahashiIEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, May 2009, Refereed, Not invitedVerification of the Deutsh-Schorr-Waite Marking Algorithm with Modal LogicYoshifumi Yuasa; Yoshinori Tanabe; Toshifusa Sekizawa; and Koichi TakahashiLecture Notes in Computer Science, Oct. 2008, Refereed, Not invitedMLAT: A Tool for Heap Analysis Based on Predicate Abstraction by Modal LogicToshifusa Sekizawa; Yoshinori Tanabe; Yoshifumi Yuasa; and Koichi TakahashiIn Proceedings of the IASTED International Conference on Software Engineering, Feb. 2008, Refereed, Not invitedLeadAnalyzing the One Dimensional Ising Model by Probabilistic Model CheckingToshifusa Sekizawa; Tatsuhiro Tsuchiya; Tohru Kikuno; and Koichi TakahashiProceedings of the IASTED Asian Conference on Modelling and Simulation, Oct. 2007, Refereed, Not invitedLeadA method to generate formulas for temporal logic satisfiability checkersToshifusa Sekizawa; Toshinori Takai; Yoshinori Tanabe; Koichi TakahashiELECTRONICS AND COMMUNICATIONS IN JAPAN PART II-ELECTRONICS, 2007, Refereed, Not invitedFinite Approximation Analysis of One Dimensional Cellular AutomataKoichi Takahashi; Yoshinori Tanabe; and Toshifusa SekizawaJSSST Computer Software, Jul. 2006, Refereed, Not invitedA Method to Generate Formulae for Temporal Logic Satisfiability CheckersToshifusa Sekizawa; Toshinori Takai; Yoshinori Tanabe; and Koichi TakahashiThe IEICE Transactions on Information and Systems (D), Apr. 2006, Refereed, Not invitedPreconditions of Properties Described in CTL for Statements Manipulating PointersYoshinori Tanabe; Toshinori Takai; Toshifusa Sekizawa; and Koichi TakahashiSupplemental Volume of the 2005 International Conference on Dependable Systems and Networks, Jun. 2005, Not refereed, Not invited時相論理による述語抽象化のための充足可能性判定手続き湯浅能史; 田辺良則; 関沢俊弦; 高橋孝一日本ソフトウエア科学会大会講演論文集(CD-ROM), 2005, Not refereed, Not invitedBooks and other publicationsソフトウェア工学の基礎 28 (レクチャーノート ソフトウェア学 第47巻)Editor, 名倉正剛; 関澤俊弦近代科学社, Nov. 20219784764960282モデル検査による状態遷移システムの検証手法関澤俊弦; 高橋孝一, Joint work, 新版 信頼性ハンドブック 第V部 D-4章, 関澤俊弦,高橋孝一日科技連出版社, Jul. 2014, Not refereed9784817195197ソフトウェア工学の基礎XX FOSE2013 (レクチャーノート ソフトウェア学)Editor, 岡野浩三; 関澤俊弦近代科学社, Dec. 2013, Not refereed9784764904521モデル検査(総論)Toshifusa Sekizawa; Koichi Takahashi, Joint work, ハンドブック“知識ベース” 7 群1 編2 章2-4 節, Toshifusa Sekizawa; and Koichi Takahashi電子情報通信学会, 2010, Not refereed抽象化Koichi Takahashi; Toshifusa Sekizawa, Joint work, ハンドブック “知識ベース” 7 群1 編3 章3-1節, Koichi Takahashi; and Toshifusa Sekizawa電子情報通信学会, 2010, Not refereedLectures, oral presentations, etc.Javaにおける変数宣言の重複に起因するコンパイルエラーの自動修正に向けた静的解析による重複宣言の特定三城学; 関澤俊弦令和5年度第66回日本大学工学部学術研究報告会, Dec. 2023充電データ列のシミュレーションに向けた電圧値の解析と変異の生成中里佳樹,関澤俊弦IPSJ Tohoku branch workshop, Jan. 2023演習課題提出システムへのモデル検査の組み込みによる機能拡張に向けて南條匠; 関澤俊弦令和4年度第65回日本大学工学部学術研究報告会, Dec. 2022, Not invited変異を含む充電データ列のシミュレーションに向けた最尤法を用いた解析中里佳樹; 関澤俊弦令和4年度第65回日本大学工学部学術研究報告会, Dec. 2022, Not invited妨害されたDSRCデータに基づく統計処理による新規妨害データ列の生成若林奎佑; 関澤俊弦令和4年度第65回日本大学工学部学術研究報告会, Dec. 2022, Not invitedCプログラム評価に向けたカバレッジを用いた検査項目の記述手法の提案網野颯人; 関澤俊弦令和3年度第64回日本大学工学部学術研究報告会, Dec. 2021DSRC通信におけるパケット改ざん攻撃のAutoware上での再現手法の提案冨樫悠星郎; 関澤俊弦令和3年度第64回日本大学工学部学術研究報告会, Dec. 2021リチウムイオンバッテリーの充電データ列解析による妨害の検出中里佳樹; 関澤俊弦令和3年度第64回日本大学工学部学術研究報告会, Dec. 2021ロボットの振る舞いの確率的な解空間からの選択手法の提案と協調解析の考察矢吹光,関澤俊弦4th IPSJ Tohoku branch workshop, AY2018, Jan. 2019, Not invited確率除去モデルを用いたモデル検査に基づく自己位置推定の地図設計に対する反例解析渡邊亮,関澤俊弦4th IPSJ Tohoku branch workshop, AY2018, Jan. 2019, Not invitedロボットの確率的な解空間からの解の選択手法の提案と協調解析の考察矢吹光,関澤俊弦第61回日本大学工学部学術研究報告会, Dec. 2018, Not invited要求仕様書の記述支援及び曖昧性評価に向けた自然言語処理に基づくツールの妥当性の評価柿沼翔太,関澤俊弦第61回日本大学工学部学術研究報告会, Dec. 2018, Not invited動作時間を考慮に入れた自律移動ロボットの確率的な振舞い検証小林佳正,関澤俊弦5th IPSJ Tohoku branch workshop, AY2017, Feb. 2018, Not invited動作の実行順序を考慮に入れたロボットの確率的な振舞いのモデル化小林佳正,関澤俊弦第60回日本大学工学部学術研究報告会, Dec. 2017, Not invited自己位置推定を用いた自律移動ロボットにおける振舞い検証に向けて渡邊亮,関澤俊弦第60回日本大学工学部学術研究報告会, Dec. 2017, Not invited自己位置推定ロボットの確率的振舞いの協調解析に向けて矢吹光,関澤俊弦第60回日本大学工学部学術研究報告会, Dec. 2017, Not invitedUSDMを用いた要求仕様の品質向上に向けて柿沼翔太,関澤俊弦第60回日本大学工学部学術研究報告会, Dec. 2017, Not invited自己位置推定をするロボットの確率的な振舞いの協調解析に向けてHikaru Yabuki; and Toshifusa SekizawaJSSST 第24回 ソフトウェア工学の基礎ワークショップ (FOSE2017), Nov. 2017, JSSST, Not invitedモデル検査を用いたロボット設計の検証Ryo Watanabe; Kozo Okano; and Toshifusa SekizawaJSSST 第24回 ソフトウェア工学の基礎ワークショップ (FOSE2017), Nov. 2017, JSSST, Not invited自己位置推定を行なうロボット設計の検証に向けてRyo Watanabe; Kozo Okano; and Toshifusa SekizawaIPSJ/SIGSE SES2017 Workshop, Aug. 2017, Not invitedKuromojiと構文解析による要求仕様書から状態遷移系への自動変換の試み田幸玄陽,小形真平,岡野浩三,関澤俊弦IPSJ/SIGSE ウィンターワークショップ・イン・飛騨高山, pp. 45-46,, Jan. 2017, Not invitedペアワイズ法に基づいた検証項目の生成とモデル検査による組み込みシステムの検証に向けて渡辺誠人,岡野浩三,関澤俊弦IPSJ/SIGSE ウィンターワークショップ・イン・飛騨高山, Jan. 2017, Not invited移動時間を考慮に入れた自律移動ロボットの確率的な振舞い検証に向けてYoshimasa Kobayashi; Kozo Okano; and Toshifusa SekizawaJSSST 第23回 ソフトウェア工学の基礎ワークショップ (FOSE2016), Dec. 2016, JSSST, Not invitedTowards Behavior Verification of Estimation of Self-localization in One-dimensional SystemsToshifusa Sekizawa; and Kozo OkanoIEICE Technical Report SS2015-100, Vol. 115, No. 508, pp.145-150, Mar. 2016, Not invitedTowards Formal Verification of Specification in a Natural Language - Model Checking for "Electric pot, GOMA type 1015" -Ken Endo; Shinpei Ogata; Kozo Okano; and Toshifusa SekizawaIPSJ/SIGSE Winter Workshop 2016 in Zushi, Feb. 2016, Not invited時間的性質を考慮に入れた自律移動ロボットの誤差検出と振舞い検証に向けてYoshimasa Kobayashi; Kozo Okano; and Toshifusa SekizawaJSSST 第22回 ソフトウェア工学の基礎ワークショップ (FOSE2015), Nov. 2015, JSSST, Not invitedTowards behavior verification of autonomous mobile robot with error detection and correctionFumiya Otsuki; Kazuki Ito; Kozo Okano; and Toshifusa SekizawaIPSJ/SIGSE Winter Workshop 2015 in Ginowan, Jan. 2015, Not invited組込みシステムの仕様検証とペアワイズ法を用いた検証項目の生成関澤 俊弦,小鳥井 継第20回 ソフトウェア工学の基礎ワークショップ (FOSE 2013), Nov. 2013, Not invitedUPPAAL によるライントレーサの安全性検証のケーススタディKozo Okano; Toshifusa Sekizawa; Hiroaki Shimba; and Shinji KusumotoSoftware Engineering Symposium 2012 (SES2012), Aug. 2012, Not invitedリングバッファ上の系に対する確率的対称性簡約関澤俊弦,高橋孝一,高橋和子IPSJ Winter Workshop 2012, Jan. 2012, Not invitedライントレーサの定量的評価および検証に向けて河井秀樹,岡野浩三,関澤俊弦IPSJ Winter Workshop 2012, Jan. 2012, Not invitedケーススタディ: Herman の確率的自己安定化アルゴリズムの状態削減と検証Toshifusa Sekizawa; Koichi Takahashi; and Kazuko Takahashiディペンダブルシステムワークショップ& シンポジウム(DSW & DSS 2011), Dec. 2011, Not invitedSymmetry Reduction を使ったAIS の確率付きモデル検査豊島祟士,高橋和子,関澤俊弦IEICE Technical Report SS2009-63, Vol. 109, No. 456, pp.91-96, Mar. 2010, Not invitedシナリオに基づくモデル検査導入手法の策定- はじめての現場マニュアル-関澤俊弦,小池憲史,小池隆,篠崎孝一,西原秀明,早水公二第6回ディペンダブルシステムシンポジウム(DSS2009), Dec. 2009, Not invited様相論理を使ったDeutsch-Schorr-Waite マーキングアルゴリズムの検証高橋孝一,関澤俊弦,湯浅能史,田辺良則第五回システム検証の科学技術シンポジウム(SSV 2008),, Nov. 2008, Not invitedA Case Study: Analyzing the One Dimensional Ising Model by Probabilistic Model CheckingToshifusa Sekizawa; Tatsuhiro Tsuchiya; Tohru Kikuno; and Koichi Takahashi5th VERITE (JAIST/TRUST-AIST/CVS joint workshop on VERIfication TEchnology), Mar. 2008, Not invitedAgda-MLAT 連携によるSchorr-Waite マーキングアルゴリズムの検証湯浅能史; 田辺良則; 関澤俊弦; 高橋孝一日本ソフトウェア科学会第24回大会, Sep. 2007, Not invited様相μ計算を利用したポインタを扱うプログラムの検証に向けて田辺良則; 湯浅能史; 関澤俊弦; 高橋孝一第9 回プログラミングおよびプログラミング言語ワークショップ(PPL 2007), Mar. 2007, Not invited自動証明系と定理証明支援系の連携によるポインタ操作プログラムの検証について高橋孝一; 湯浅能史; 武山誠; 関澤俊弦; 田辺良則Theorem Proving and Provers (TPP) Meeting, Nov. 2006, Not invited抽象化ツールMLAT について高橋孝一; 田辺良則; 関澤俊弦; 湯浅能史第三回システム検証の科学技術シンポジウム, Oct. 2006, Not invited自動証明系と対話型証明支援系の連携によるポインタ操作プログラムの検証について湯浅能史; 武山誠; 関澤俊弦; 田辺良則; 高橋孝一日本ソフトウェア科学会第23回大会, Sep. 2006, Not invited様相論理を使用したヒープ検証方式田辺良則; 湯浅能史; 関澤俊弦; 高橋孝一第3回ディペンダブルソフトウェアワークショップ (DSW06), Jan. 2006, Not invited抽象化ツールTLATの構築に向けて田辺良則; 関澤俊弦; 湯浅能史; 高橋孝一第２回システム検証の科学技術シンポジウム, Oct. 2005, Not invited時相論理による自動抽象化のための充足可能性判定手続き湯浅能史; 田辺良則; 関澤俊弦; 高橋孝一日本ソフトウェア科学会第22回大会, Sep. 2005, Not invitedAbstraction of Programs in PML (Pointer Manipulating Language)Koichi Takahashi; Yoshinori Tanabe; Toshifusa Sekizawa; and Yoshifumi YuasaJAIST/TRUST - AIST/CVS joint workshop on verification technology (VERITE), Sep. 2005, Not invited一次元セルオートマトンの有限近似解析高橋孝一; 田辺良則; 関澤俊弦日本ソフトウェア科学会第22回大会, Sep. 2005, Not invitedポインタシステムのための自動抽象化手法高橋孝一; 田辺良則; 高井利憲; 関澤俊弦JST, CREST 情報社会を支える新しい高性能情報処理技術第1 回公開シンポジウム, Dec. 2004, Not invited分散オブジェクト技術HORB平野聡,関澤俊弦COMDEX Las Vegas 2003, Nov. 2003, Not invited高移動度シリコン2 次元電子系での金属・絶縁体転移と磁気抵抗細谷邦雄; 関澤俊弦; 岡本徹; 川路紳治; 湯谷明栄; 白木靖寛日本物理学会講演概要集, vol. 53, no.1-3(19980310), p.536, Mar. 1998, Not invitedSi-MOS 2次元電子系における強局在領域での磁気抵抗関澤俊弦; 岡本徹; 川路紳治日本物理学会講演概要集, vol.52, no.1-2(19970317), p.148, Mar. 1997, Not invitedSi-MOSFETの巨大磁気抵抗の角度依存性岡本徹; 大河原吉貴; 関澤俊弦; 川路紳治日本物理学会講演概要集, vol.51, no..2(19960315), Mar. 1996, Not invitedAffiliated academic societyIPSJJSSSTIEEE, IEEE Computer SocietyIEICEResearch Themesモデル検査を用いたプログラミング課題評価と課題提出システム構築日本学術振興会, 科学研究費助成事業, Apr. 2024 - Mar. 2027関澤 俊弦; 岡野浩三自然語解析と反例解析を活用したソフトウェア開発日本学術振興会, 科学研究費助成事業, Apr. 2021 - Mar. 2025岡野 浩三; 岡本 圭史; 関澤 俊弦; 小形 真平A Research on property generation for embedded systems based on combination testing methodologyJapan Society for the Promotion of Science, Grants-in-Aid for Scientific Research, Apr. 2017 - Mar. 2020Sekizawa ToshifusaSoftware Development based on Models and ConstraintsJapan Society for the Promotion of Science, Grants-in-Aid for Scientific Research, Apr. 2016 - Mar. 2019OKANO KOZO組込み制御システムの制御理論と制御システム開発に,おける不確定性に関する研究 Apr. 2017 - Mar. 2018A research on verification of embedded control program for dynamic systemsJapan Society for the Promotion of Science, Grants-in-Aid for Scientific Research, Apr. 2014 - Mar. 2017SEKIZAWA ToshifusaOverseas Travel ExpenseThe Telecommunications Advancement Foundation, 福祉・文化事業援助, Sep. 2013 - Sep. 2013 Top PageApplication for coverage --> --> -->