研究者学術情報データベース

タカヤマ　ユキヒデ
高山　幸秀
TAKAYAMA Yukihide

所属理工学部数理科学科

職名教授

論文
1.	2025/01	Extensions representing Nori-Srinivas obstruction. │ Journal of Pure and Applied Algebra │ 229 (1),Paper No. 107783
2.	2018/12	On equivariant formal deformation theory │ Rendiconti del Circolo Matematico di Palermo Series 2 │ 67 (3),409-419
3.	2017	On Kodaira type vanishing for Calabi-Yau threefolds │ Beitraege zur Algebra und Geometrie │ 58 (1),1-11
4.	2014	Kodaira type vanishing theorem for the Hirokado variety. │ Communications in algebra │ 42 (11),4744--4750
5.	2012	Raynaud-Mukai construction and Calabi-Yau threefolds in positive characteristic │ Proc. Amer. Math. Soc. │ 140 (12),4063-4074
6.	2010	On non-vanishing of cohomologies of generalized Raynaud polarized surfaces │ Journal of pure and applied algebra │ 214 (7),1110-1120
7.	2008	Componentwise linear ideals with minimal or maximal Betti numbers │ Ark. Mat. │ 46 (1),69-75
8.	2008	Generalized complete intersections with linear resolutions. │ Arch. Math. (Basel) │ 90 (5),385-394
9.	2007	Monomial ideals with linear quotients whose Taylor resolutions are minimal │ Bull. Math. Soc. Sci. Math. Roumanie (N.S.) │ 50(98) (2),161-166
10.	2007	Stanley-Reisner ideals whose powers have finite length cohomologies │ Proc. Amer. Math. Soc. │ 135 (8),2355-2364
11.	2005	Combinatorial characterizations of generalized Cohen-Macaulay monomial ideals │ Bull. Math. Soc. Sci. Math. Roumanie (N.S.) │ 48(96) (3),327-344
12.	2005	On the radical of a monomial ideal │ Arch. Math. (Basel) │ 85 (5),397-408
13.	2003	Approximations of generalized Cohen-Macaulay modules │ Illinois J. Math. │ 47 (4),1287-1302
14.	2002	Resolutions by mapping cones │ Homology, Homotopy and Applications │ 4 (2),277-294
15.	2001	Normality of Affine Semigroup Rings Generated by 2-dimensional Cone Type Simplicial Complexes │ Communications in Algebra │ ,Volume 29, Number 4
16.	1999	Steinitz' Theorem Analogue for Two-Dimensional Cohen-Macaulay Complexes │ Academic Press, Advances in Applied Mathematics │ ,22, pp200-218
17.	1998	Towards Cycle Filling as Parallelization │ RIMS Kokyuroku │ ,Vol. 996, pp207-221
18.	1996/04	高次元オートマトンからの並行プロセスの抽出 │ Lectire Note in Computer Science │ ,No.1059 72-86 Springer-Verlag
19.	1995	高次元オートマトンにおける並行プロセスの並列化 │ 数理解析研究所講究録 │ ,Vol.918,238-252
20.	1994/04	Lifschitz's Logic of Calculable Numbers and Optimizations in Program Extraction │ Springer-Verlag/LNCS No.792, Logic, Language and Computation │
21.	1994/02	Defining Concurrent Processes Constructively │ Theoretical Computer Science │ 122,137-164頁
22.	1993	QPC2: A Constructive Calculus with Parameterized Specifications │ Journal of Symbolic Computation │ ,Vol.15
23.	1992/06	Defining concurrent Processes Constructively │ Proceedings of International Conference on Fifth Generation Computer Systems │
24.	1992/05	構成的プログラミングシステムSHUTEN │ 『人工知能学会誌』人工知能学会 │ 7 (4)
25.	1991	Extraction of Redundancy-free Programs from Constructive Natural Deduction Proofs │ Journal of Symbolic Computation │ ,Vol.12
26.	1990/11	構成的論理を応用した下流工程CASEツール │ 『沖電気研究開発本部 1990年度成果発表会予稿集』 │
27.	1990/10	証明コンパイラにおける拡張射影手法 │ 『コンピュータソフトウェア』日本ソフトウェア科学会 │ 7 (4)
28.	1990/09	QPC2: A Second Order Logic for Higher Order Programming │ ICOT テクニカルレポート │ ,No.539
29.	1990/04	フォーマルアプローチによるソフトウェア開発 │ 『沖電気研究開発』 │ ,Vol.57 No.1
30.	1989	Extended Projection Method-A new method to extract efficient programs from constructive proofs │ Proceedings of 1989 Functional Programming Languages and Computer Architecture │
31.	1988	QPC : QJ-based Proof Compiler-Simple examples and analysis │ Springer Lecture Notes in Computer Science │ ,300
32.	1987	Writing Programs as QJ-Proofs and Compiling into PROLOG Programs │ 4th Symposium on Logic Programming │