ITmedia NEWS > �Ȋw�E�e�N�m���W�[ >

���w�́u���v�i�������j�Ƃ͂ǂ��������Ƃ��H�@�pICL���������\�@�u�R���s���[�^�̓o��Œ�`���B���Ɂv�FInnovative Tech

» 2024�N06��10�� 08��00�� ���J
[�R���T�B�CITmedia]

Innovative Tech�F

���̃R�[�i�[�ł́A2014�N�����[�e�N�m���W�[�̌�����_���P�ʂŋL���ɂ��Ă���Web���f�B�A�uSeamless�v�i�V�[�����X�j����ɂ���R���T�B�������M�B�V�K���̍����Ȋw�_�����R�������s�b�N�A�b�v���A�������B

X�F ��shiropen2

�@�p�C���y���A���E�J���b�W�E�����h���iICL�j�̋����ł���A���w�҂̃P�r���E�o�U�[�h����̒P���_���uGrothendieck�fs use of equality�v�́A���w�҂������̊T�O���ǂ̂悤�Ɏg�p���Ă��邩�A�����Ă��ꂪ���w�̌`���������݂�ۂɂǂ̂悤�ȉe����^���邩�ɂ‚��ċc�_���������񍐂ł���B

�@�o�U�[�h����́u����A���w�҂͓����̊T�O��B���Ɏg���Ă���A�ߔN�̃R���s���[�^�v���O�����ɂ��ؖ��i�`�����j�ɂ����Ă��̞B��������Q�ɂȂ��Ă���v�Ǝw�E����B

���w�́u���v�i�������j�Ƃ͂ǂ��������Ƃ��H

�@�u���v�i�����j�ɂ݂��ʓI�ȓ����̒�`�́A���ӂ��������w�I�Ώۂ�\���Ă���A������瑼���ւ̘_���I�ȕϊ��ɂ���ďؖ��ł�����̂ł���i�`���I�ȓ����j�B�󋵂��ς��n�߂��̂́A���㐔�w�̂قƂ�ǂ̘_���I��b��񋟂���W���_�����W���Ă���ł���B�W���_�̔��W�ɔ����A�����̐V������`���������ꂽ�B

�@����́u2�‚̏W���������v�f���܂�ł���Γ������v�Ƃ������̂ł���B�Ⴆ�΁u1, 2, 3�v�Ɓu3, 2, 1�v�Ƃ����W���͓������B�Ȃ��Ȃ�A�W���̗v�f�̏��Ԃ͏d�v�ł͂Ȃ�����ł���B����ɁA���w�҂�2�‚̏W���������v�f���܂�ł��Ȃ��Ă��A�����̊Ԃɖ��炩�ȑΉ��֌W�i���^�ʑ��j������Γ������ƌ��Ȃ����Ƃ�����B

�@���̂悤�ȓ����̞B���Ȓ�`�́A���w�҂��ؖ����s���ۂ�_���������ۂɂ͖��ɂȂ�Ȃ����i��������Ӗ���������j�A�R���s���[�^���g���ďؖ����`�F�b�N����ۂɂ͖��������N�����B�R���s���[�^�v���O�����͌����Ő��m�Ȏw����K�v�Ƃ��邽�߂ł���B

�@���̖����������邽�߂ɁA���w�҂̒��ɂ́u���w�̊�b���Ē�`����΂悢�v�Ǝ咣����l������B�����̊T�O�𓝍����鎎�݂��n�܂��Ă��邪�A���w�̊�b���Ē�`����͔̂��ɍ�����ɂ߂�B

�@����ŁA�_�����҂ł���o�U�[�h����́A�����I�ɂ́A�R���s���[�^�ؖ��̐��w���C�u�������[�����邱�ƂŁA���w�҂������̌����ȈӖ����C�ɂ����ɍςނ悤�ɂȂ邩������Ȃ��Ƃ����B���w�҂��悭�����炸�����I�ȓ����̎g�����������Ƃ��Ă��A�V�X�e�����������ĕs�����w�E���Ă����悤�ɂȂ邩��ł���B

�@�o�U�[�h����́u�R���s���[�^�x���ɂ��`�������i�ނ��ƂŁA���w�ɂ����铙���̊T�O�I��肪���������”\��������v�ƌ��ʂ��Ă���B

�_���̃g�b�v�y�[�W

Source and Image Credits: Buzzard, Kevin. �gGrothendieck�fs use of equality.�h arXiv preprint arXiv:2405.10387�i2024�j.



Copyright © ITmedia, Inc. All Rights Reserved.

'; e_dlv.innerHTML = html; adRequest({position:dlv_pos,dom:true}); }else if(ad_type === 'gam'){ var html = '
'; e_dlv.innerHTML = html; refreshGam('InArtSpecialLink'); }else if(ad_type === 'logly'){ var html = '
'; e_dlv.innerHTML = html; loglySet(g_id); }else if(ad_type === 'google'){ var html = '
'; e_dlv.innerHTML = html; googletag.cmd.push(function(){ var slot8 = googletag.defineSlot('/43042345/nlab_artinsert_RT',[[336,280],[300,250],'fluid'],'div-gpt-ad-1551176482959-0').addService(googletag.pubads()); googletag.pubads().enableSingleRequest(); googletag.enableServices(); googletag.display('div-gpt-ad-1551176482959-0'); googletag.pubads().refresh([slot8]); }); } }; var insert_ok = function(_target,_str){ var clearfix = d.createElement('div'); clearfix.className = 'colBoxClear'; if(ad_float_fix){ e_body.insertBefore(e_dlv,_target); e_body.insertBefore(clearfix,_target.nextElementSibling); }else{ e_body.insertBefore(e_dlv,_target); } set_dlv(); }; var insert_ng = function(_str){ e_dlv.style.display = 'none'; }; var main = function(){ var e_nodes = e_body.childNodes; // BODY �����q�v�f var e_tags = []; // BODY �����^�O var p_num = []; // BODY ���� P �^�O�ʒu var p_target_num; // �g�}����ʒu var o_float = {}; // ��荞�ݗv�f var o_this = {}; // �A�N�e�B�u�^�O var o_next = {}; // �A�N�e�B�u�^�O�̎��̃^�O var flag_insert = 0; // �}���t���O // ��荞�ݗv�f�`�F�b�N var check_float = function(_e){ var e = 0; if(_e.id.match(/^col\d{3}(l|r)$/)){ e = _e; } return e; }; // �v�f�� Y ���W�ƍ����̍��v�l var get_element_y = function(_e){ var ey = 0; var eh = _e.offsetHeight; while(_e){ ey += _e.offsetTop; _e = _e.offsetParent; } return ey + eh; }; var check_ptag = function(_e){ var e = 0; if(_e.tagName && _e.tagName === 'P'){ e = _e; } return e; }; var try_insert = function(){ p_target_num = Math.floor(p_num.length / 2) - 1; if(p_target_num >= _maxrange) p_target_num = _maxrange; if(dis_con) p_target_num = 0; for(var i = p_num[p_target_num]; i < e_tags.length; i++){ o_this.e = check_ptag(e_tags[i]); if(o_this.e){ o_next.e = check_ptag(e_tags[i + 1]); if(o_next.e){ if(!o_float.e || check_float(e_tags[i - 1])){ o_float.e = check_float(e_tags[i - 1]); o_float.n = i - 1; } if(o_float.e && o_float.n < i + 1){ o_float.y = get_element_y(o_float.e); o_this.y = get_element_y(o_this.e); set_line(o_float.y,'red'); set_line(o_this.y,'blue'); if(o_float.y < o_this.y){ flag_insert = 1; insert_ok(o_next.e,_threshold + ' �p���ȏ��荞�݂���'); break; } }else{ flag_insert = 1; insert_ok(o_next.e,_threshold + ' �p���ȏ��荞�݂Ȃ�'); break; } } }else{ o_float = {}; } } if(!flag_insert){ insert_ng('�}���ʒu�Ȃ�'); } }; // �S�q�v�f����^�O�̂ݔz��ɓ���� for(var i = 0; i < e_nodes.length; i++){ if(e_nodes[i].tagName){ e_tags.push(e_nodes[i]); } } // �S�^�O���� P �^�O�ʒu��z��ɓ���� for(var i = 0; i < e_tags.length; i++){ if(e_tags[i].tagName === 'P') p_num.push(i); // �ŏ��̉�荞�ݗv�f���i�[ if(!o_float.e){ o_float.e = check_float(e_tags[i]); o_float.y = get_element_y(o_float.e); o_float.n = i; } } if(p_num.length >= _threshold){ try_insert(); }else{ insert_ng('P �^�O ' + _threshold + ' �ȉ�'); } }; if(e_body){ main(); }else{ insert_ng('�L���{���Ȃ�'); } })(document,4,5);